| Title | Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | Duggirala PSridhar, Fan C, Potok M, Qi B, Mitra S, Viswanathan M, Bak S, Bogomolov S, Johnson TT, Nguyen LViet, Schilling C, Sogokon A, Tran H-D, Xiang W |
| Conference Name | 2016 IEEE Conference on Control Applications, (CCA) |
| Date Published | sep |
| Publisher | IEEE |
| Conference Location | Buenos Aires, Argentina |
| ISBN Number | 978-1-5090-0755-4 |
| URL | http://ieeexplore.ieee.org/document/7587948/ |
| DOI | 10.1109/CCA.2016.7587948 |
Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP
Submitted by chuchu@mit.edu on