chuchu
Building Safe Autonomy
Search
Search
Main menu
Home
Publications
A list of publications
About
News
Contact
Nguyen, Luan Viet
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)
