Publications

Sections:

• Preprints

• Conference Papers

• arXiv Papers

• Talks/Presentations

Preprints (Submitted/Accepted)

• Synthesis of Deceptive Strategies in Reachability Games with Action Misperception
  Abhishek N. Kulkarni and Jie Fu,
  IJCAI 2020. (Accepted)
  [arXiv]

• Deceptive Labeling: Hypergames on Graphs for Stealthy Deception
  Abhishek N. Kulkarni, Huan Luo, Nandi O. Leslie, Charles A. Kamhoua, Jie Fu,
  CDC 2020. (Submitted)
  [arXiv]

Conference Papers

2019

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

2018

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

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]

arXiv Papers

• Secure-by-Synthesis Network with Active Deception and Temporal Logic Specifications
  Jie Fu, Abhishek N. Kulkarni, Huan Luo, Nandi O. Leslie, Charles A. Kamhoua
  Arxiv, 2020.
  [arXiv]

Talks/Presentations

2019

• PhD Qualifier Presentation at WPI.

2018

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