Abhishek N. Kulkarni
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:
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
|