Abhishek N. Kulkarni
Papers
4
Total Citations
19
H-Index
2
About
Abhishek N. Kulkarni is a researcher specializing in formal methods, adversarial planning, and game-theoretic control synthesis, with a particular focus on developing intelligent strategies for autonomous systems operating in complex, uncertain environments. His work sits at the intersection of artificial intelligence, control theory, and formal verification, leveraging tools such as temporal logic, hypergame theory, and Markov decision processes to address real-world planning challenges. Kulkarni's most influential contribution, "Dynamic Hypergames for Synthesis of Deceptive Strategies With Temporal Logic Objectives" (2022, 10 citations), introduces a rigorous framework for designing agents capable of strategically deceiving adversaries in competitive environments — a significant advance for security-critical autonomous systems. His earlier work on compositional reactive game synthesis (2018, 5 citations) addresses scalability in multi-agent control design, enabling modular construction of controllers under linear temporal logic specifications. Beyond deception, Kulkarni has explored sensor security and attacker-defender dynamics, examining the costs of unawareness in adversarial sensing scenarios, and preference-based planning in stochastic systems where conflicting objectives must be intelligently prioritized. Collectively, his research advances the theoretical foundations for building autonomous agents that are robust, adaptive, and strategically sophisticated in adversarial and uncertain settings.
Research Focus
Key Achievements
Top Papers
- 1
- 2
- 3
- 4