A. Prasad Sistla

Papers

Total Citations

H-Index

About

A. Prasad Sistla is a leading researcher in formal methods, cyber-physical systems, and temporal logic, whose work bridges theoretical foundations with practical verification. He is best known for pioneering contributions to the specification and monitoring of real-time and hybrid systems, particularly through decision-theoretic frameworks that enable robust runtime verification. His highly influential paper "Decision-Theoretic Monitoring of Cyber-Physical Systems" (2016) introduces a probabilistic approach to monitor system behavior under uncertainty, addressing critical challenges in safety-critical applications like autonomous vehicles and medical devices. With over 2,000 citations across his career, Sistla's research has profoundly shaped the fields of model checking, temporal logic, and distributed systems. Among his notable achievements, he co-developed the seminal "Sistla-Clarke" algorithm for verifying linear-time temporal logic properties, a cornerstone of modern formal verification. His work continues to inspire new generations of researchers in ensuring the reliability of complex, interactive systems.