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]

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]

• Opportunistic Qualitative Planning in Stochastic Systems with Preferences over Temporal Logic Objectives. [Under Review]
  Abhishek N. Kulkarni and Jie Fu
  IEEE Control System Letters (L-CSS).
  [arXiv]

• Synthesizing Attack-Aware Control and Active Sensing Strategies under Reactive Sensor Attacks. [Under Review]
  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

• Designing Robots that Deceive: A Formal Methods Approach at Arts and Science Week at WPI.

2020

• Foundations of Computer Security (FCS) Workshop at CSF 2020 conference. (video, paper).

2019

• PhD Qualifier Presentation at WPI.

2018

• An Informal Introduction to Formal Methods in Robotics at Rho Beta Epsilon at WPI.