Ashutosh Trivedi

Papers

Total Citations

H-Index

About

Ashutosh Trivedi is a leading researcher in formal methods, stochastic hybrid systems, and algorithmic verification. His work bridges the gap between theoretical computer science and real-world cyber-physical systems, particularly in the analysis of systems that combine discrete modes with continuous dynamics under uncertainty. Trivedi’s major contribution lies in pioneering the study of stochastic multi-mode systems, where he introduced and analyzed the problem of almost-sure reachability—determining whether a system can reach a target state with probability one despite random switching between modes. His foundational 2016 paper on this topic, though early in its citation impact, has opened new avenues for reasoning about reliability in autonomous systems, robotics, and embedded control. Trivedi’s research is characterized by its rigorous mathematical depth and practical relevance, often combining automata theory, probability, and optimization. He has also made notable contributions to timed automata, game theory for verification, and resource-constrained scheduling. Through his work, Trivedi continues to shape how engineers and computer scientists model and guarantee the behavior of safety-critical systems operating in unpredictable environments.