Main menu
Viswanathan, Mahesh
-
2016
Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2
Computer Aided Verification – 28th International Conference, (CAV) -
2016
Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP
2016 IEEE Conference on Control Applications, (CCA) -
2017
DryVR: Data-driven verification and compositional reasoning for automotive systems
Computer Aided Verification – 29th International Conference, (CAV) -
2018
Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics
Computer Aided Verification – 30th International Conference, (CAV) -
2021
Controller synthesis for linear system with reach-avoid specifications
Transactions on Automatic Control -
2015
Progress on Powertrain Verification Challenge with C2E2
International Workshop on Applied Verification for Continuous and Hybrid Systems, (ARCH) -
2015
Meeting a powertrain verification challenge
Computer Aided Verification – 27th International Conference, (CAV)