Abhishek N. Kulkarni
 |
Ph.D. Student,
|
Research
My research focus is to employ formal methods and logic and game-theory to design trustworthy and cognitively realistic autonomous systems that enables them to exhibit human-like behaviors such as opportunism, deception, and preference-aware planning.
My current projects include:
Game-theoretic Synthesis of Deceptive Strategies: In a two-player adversarial interaction with asymmetric information, how can the player with superior information gain advantage over the opponent by employing deception?
Opportunistic Planning with Incomplete Preferences over Temporal Logic Objectives: Given an incomplete (i.e., partial) preference over a set of linear temporal logic (LTL) formulas expressing temporal goals for an agent, how to synthesize a strategy that achieves the most preferred goal while reasoning about the uncertainties in the stochastic environment?
Design of Resilient Cyber-Physical Systems under Sensor Attacks: How to plan qualitatively (i.e., synthesize sure, almost-sure, positive winning strategies) in two-player partially observable stochastic games (POSG) in which the adversary can attack the observation function of the first player?
For more details, please see the Research and Publications pages.
News
[Aug. 2021] I am now a PhD student at ECE department at University of Florida.
[July 2021] The paper Qualitative Planning in Imperfect Information Games with Active Sensing and Reactive Sensor Attacks: Cost of Unawareness is accepted at CDC 2021.
[Oct. 2020] I presented a lightning talk on at Designing Robots that Deceive: A Formal Methods Approach at Arts and Science Week at WPI.
[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.
[Oct. 2020] I received Dr. Glenn Yee Graduate Student Tuition Award for Spring 2021.
[Sept. 2020] Our paper titled Decoy Placement Games on Graphs with Temporal Logic Objectives is accepted to GameSec 2020.
[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] Our paper titled Deceptive Labeling: Hypergames on Graphs for Stealthy Deception is accepted in L-CSS. Paper is available on IEEEXplore.
[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.