Abhishek N. Kulkarni

Abhishek 

Ph.D. Student,
Electrical and Computer Engineering,
University of Florida,
Gainesville, FL, USA.

Email: a.kulkarni2@ufl.edu

Profiles: [Google Scholar] [Github] [LinkedIn] [ResearchGate]

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.

  • [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.