Formal Methods and Verification
Mathematically grounded specification, verification, falsification, and analysis techniques for cyber-physical and autonomous systems whose behavior must be checked against rigorous requirements.
Verification • Intelligence • Design • Analysis
Autonomous Cyber-Physical Systems
CPS-VIDA Lab develops rigorous foundations for autonomy at the intersection of formal methods, control, artificial intelligence, and cyber-physical systems.
Lab identity
More Than an Acronym
VIDA is more than an acronym. In Spanish, vida means “life.” We believe that rigorous work in autonomy and artificial intelligence should ultimately improve the lives of the people who rely on these systems.
Research Areas
Learning-Enabled Cyber-Physical Systems
Methods for reasoning about systems that combine physical dynamics, software controllers, and learned components, with emphasis on safety, correctness, and interpretable evidence.
Temporal Logic and Runtime Monitoring
Specification languages and monitoring techniques for time-series behaviors, including signal temporal logic, temporal patterns, predictive monitoring, and online checks for system requirements.
Reinforcement Learning and Controller Synthesis
Specification-guided approaches for controller synthesis and reinforcement learning, including safe reinforcement learning, reward shaping, and formal reasoning about learned policies.
Selected Publications
Formal Verification and Control With Conformal Prediction: Practical Safety Guarantees for Autonomous Systems
Lars Lindemann, Yiqi Zhao, Xinyi Yu, George J. Pappas, Jyotirmoy V. Deshmukh
IEEE Control Systems Magazine · 2025
Volume 45, Issue 6, pages 72–122
Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
Yiqi Zhao, Emily Zhu, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann
ACM Transactions on Cyber-Physical Systems · 2025
Volume 9, Issue 4, pages 1–26
STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies
Yiqi Zhao, Xinyi Yu, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann
ACM Transactions on Embedded Computing Systems · 2025
Volume 24, Issue 5s, pages 1–23
News
TBD
Approved lab news needed
Add dated announcements only after the lab confirms wording and timing.