Biblio
Found 4 results
Filters: Author is Duggirala, Parasara Sridhar [Clear All Filters]
Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2. Computer Aided Verification - 28th International Conference, (CAV). :531–538.
.
2016. Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP. 2016 IEEE Conference on Control Applications, (CCA). :1024–1029.
.
2016. Meeting a powertrain verification challenge. Computer Aided Verification - 27th International Conference, (CAV). 9206:536–543.
.
2015. Progress on Powertrain Verification Challenge with C2E2. International Workshop on Applied Verification for Continuous and Hybrid Systems, (ARCH). :207–212.
.
2015.