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
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. [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
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]
2019
2018
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
Technical/Project Reports
2017
Talks/Presentations
2021
2020
2019
2018
|