chuchu
Building Safe Autonomy
Search
Search
Main menu
Home
Publications
A list of publications
About
News
Contact
Duggirala, Parasara Sridhar
2016
Fan, Chuchu
Qi, Bolun
Mitra, Sayan
Viswanathan, Mahesh
Duggirala, Parasara Sridhar
Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2
Computer Aided Verification – 28th International Conference, (CAV)
2016
Duggirala, Parasara Sridhar
Fan, Chuchu
Potok, Matthew
Qi, Bolun
Mitra, Sayan
Viswanathan, Mahesh
Bak, Stanley
Bogomolov, Sergiy
Johnson, Taylor T.
Nguyen, Luan Viet
Schilling, Christian
Sogokon, Andrew
Tran, Hoang-Dung
Xiang, Weiming
Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP
2016 IEEE Conference on Control Applications, (CCA)
2015
Fan, Chuchu
Duggirala, Parasara Sridhar
Mitra, Sayan
Viswanathan, Mahesh
Frehse, Goran
Althoff, Matthias
Progress on Powertrain Verification Challenge with C2E2
International Workshop on Applied Verification for Continuous and Hybrid Systems, (ARCH)
2015
Duggirala, Parasara Sridhar
Fan, Chuchu
Mitra, Sayan
Viswanathan, Mahesh
Meeting a powertrain verification challenge
Computer Aided Verification – 27th International Conference, (CAV)