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:

  • Preprints

  • Journal Papers

  • Conference Papers

  • Technical Reports

  • Talks/Presentations

Preprints (Under Review / Accepted)

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

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

Journal Papers

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).
    [PDF] [IEEEXplore] [BibTeX]

Conference/Workshop Papers

2020

  • 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]

  • Synthesis of Deceptive Cyberdefense with Temporal Logic Constraints
    Abhishek N. Kulkarni and Jie Fu,
    Workshop on Foundations of Computer Security (FCS) 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]

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

2020

2019

2018