Abhishek N. Kulkarni

Ph.D. Candidate, Robotics Engineering, Worcester Polytechnic Institute (WPI), Worcester, MA, USA. Email: ankulkarni@wpi.edu Lab: Control and Intelligent Robotics Laboratory (CIRL) Office: AK 316 Profiles: [Github] [LinkedIn] [Twitter] [Google Scholar]

Research Interests

I am presently exploring the use of formal methods and automated reasoning to synthesize strategies for autonomous agents capable of deception.

My focus areas are:

• Reactive Synthesis

• Automated Reasoning

• Game and Hypergame Theory

• Applications: Cybersecurity, Robot Motion Planning

Please visit my research page for detailed information about my ongoing research.

News

• [June 2020] A book chapter A Theory of Hypergames on Graphs for Synthesizing Dynamic Cyber Defense with Deception is accepted to be published in the book Game Theory and Machine Learning for Cyber Security.

• [June 2020] The paper Deceptive Labeling: Hypergames on Graphs for Stealthy Deception is accepted in L-CSS. Preprint is available on Arxiv.

• [June 2020] I gave a short talk (video, paper) at Foundations of Computer Security (FCS) Workshop at CSF 2020.

• [Apr. 2020] The paper Synthesis of Deceptive Strategies in Reachability Games with Action Misperception is accepted at IJCAI 2020.

• [Dec. 2019] I presented my paper Opportunistic Synthesis in Reactive Games under Information Asymmetry at CDC 2019.

• [Dec. 2019] I successfully completed my PhD qualifying exam. I am a PhD Candidate! Qualifier Presentation.

• [May 2018] I presented my paper A Compositional Approach to Reactive Games under Temporal Logic Specifications at ACC 2018.