Research

My primary research interest is in formal methods (reactive synthesis) with applications to robot decision-making and cybersecurity. I am particularly interested in exploring the use of temporal, spatial and epistemic logic in the synthesis of correct-by-construction strategies for autonomous agents.

Sections:

  • Working Papers

  • Journal Papers

  • Conference Papers

  • Peer-reviewed Workshop

  • Technical/Project Reports

  • Talks/Presentations

Working Papers

  • Synthesis of Deceptive Strategies in Reachability Games with Action Misperception
    Abhishek N. Kulkarni and Jie Fu
    [arXiv]

  • Opportunistic Qualitative Planning in Stochastic Systems with Preferences over Temporal Logic Objectives.
    Abhishek N. Kulkarni and Jie Fu
    [arXiv]

Journal Papers

2022

  • Dynamic Hypergames for Synthesis of Deceptive Strategies with Temporal Logic Objectives.
    Lening Li, Haoxiang Ma, Abhishek N. Kulkarni, Jie Fu
    IEEE Transactions on Automation Science and Engineering (TASE).
    [arXiv] [BibTeX]

  • Synthesizing Attack-Aware Control and Active Sensing Strategies under Reactive Sensor Attacks. [Accepted]
    Sumukha Udupa, Abhishek N. Kulkarni, Shuo Han, Nandi O. Leslie, Charles A. Kamhoua, and Jie Fu
    IEEE Control System Letters (L-CSS).
    [arXiv]

2020

  • Deceptive Labeling: Hypergames on Graphs for Stealthy Deception
    Abhishek N. Kulkarni, Huan Luo, Nandi O. Leslie, Charles A. Kamhoua, Jie Fu,
    IEEE Control Systems Letters (L-CSS) 2020.
    [PDF] [IEEEXplore] [BibTeX]

Book Chapters

2021

  • A Theory of Hypergames on Graphs for Synthesizing Dynamic Cyber Defense with Deception.
    Abhishek N. Kulkarni and Jie Fu
    Book: Game Theory and Machine Learning for Cyber Security, Wiley-IEEE Press.
    [Book] [arXiv] [BibTeX]

Conference Papers

2021

  • Qualitative Planning in Imperfect Information Games with Active Sensing and Reactive Sensor Attacks: Cost of Unawareness.
    Abhishek N. Kulkarni, Shuo Han, Nandi O. Leslie, Charles A. Kamhoua and Jie Fu
    IEEE Conference on Decision and Control (CDC) 2021.
    [arXiv] [IEEEXplore]

2020

  • Decoy Placement Games on Graphs with Temporal Logic Objectives
    Abhishek N. Kulkarni, Jie Fu, Huan Luo, Charles A. Kamhoua, Nandi O. Leslie,
    Conference on Decision and Game Theory for Security (GameSec) 2020.
    [arXiv] [BibTeX]

  • Synthesis of Deceptive Strategies in Reachability Games with Action Misperception
    Abhishek N. Kulkarni and Jie Fu,
    International Joint Conference on Artificial Intelligence (IJCAI) 2020.
    [PDF] [BibTeX]

2019

  • Opportunistic Synthesis in Reactive Games under Information Asymmetry
    Abhishek N. Kulkarni and Jie Fu
    Conference on Decision and Control (CDC), 2019.
    [PDF] [IEEEXplore] [BibTeX]

2018

  • A Compositional Approach to Reactive Games under Temporal Logic Specifications
    Abhishek N. Kulkarni and Jie Fu
    Annual American Control Conference (ACC), 2018.
    [PDF] [IEEEXplore] [BibTeX]

2015

  • Dot matrix text recognition for industrial carton classification
    Siddharth Nitin Patki, Madhuri Joshi and Abhishek N. Kulkarni
    International Conference on Industrial Instrumentation and Control (ICIC), 2015.
    [IEEEXplore] [BibTeX]

2014

  • Big Data Management of a Cyber-Physical Multi-location Chemical Factory
    Abhishek N. Kulkarni, Anita S. Joshi and Satish R. Inamdar
    International Journal of Industrial Electronics and Electrical Engineering (IJIEEE), vol. 2, issue 8, pp. 9-14, Aug. 2014.
    [PDF]

Workshop Papers

2020

  • Synthesis of Deceptive Cyberdefense with Temporal Logic Constraints
    Abhishek N. Kulkarni and Jie Fu,
    Workshop on Foundations of Computer Security (FCS) 2020.
    [PDF] [BibTeX]

Technical/Project Reports

2017

  • On Path Planning using Point-based Minkowski Sum for Rigid Robots
    Abhishek N. Kulkarni
    Motion Planning (RBE 550)
    [PDF]

Talks/Presentations

2021

2020

2019

2018