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

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