Pranav Ashok
Papers
1
Total Citations
4
H-Index
1
About
Pranav Ashok is a researcher at the intersection of formal methods, artificial intelligence, and probabilistic verification. His most cited work introduces a novel approach to solving planning problems by leveraging model checking with decision-tree controllers, demonstrating that universal plans—strategies capable of handling all contingencies—can be synthesized without the need for replanning. This contribution bridges the gap between classical planning and formal verification, offering robust, decision-theoretic solutions for autonomous systems operating under uncertainty. With over 4 citations on this key paper, Ashok’s research has already influenced discussions on controller synthesis and safe AI. His work is particularly notable for its practical implications in robotics and cyber-physical systems, where fault-tolerant, precomputed policies are critical. Ashok continues to advance the field by combining algorithmic rigor with real-world applicability, making him a promising voice in the growing dialogue between planning and verification communities.
Research Focus
Key Achievements
Top Papers
- 1Planning via model checking with decision-tree controllers4 citations · 2022