Publications

Preprints

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

• 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 Preprint, 2020.
  [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] [arXiv (v1)]

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] [PDF]

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]

Talks

2018

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