MIT

Building Safe Autonomy

Main menu

Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP

Title

Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP

Publication Type

Conference Paper

Year of Publication

2016

Authors

Conference Name

2016 IEEE Conference on Control Applications, (CCA)

Pagination

1024–1029

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

http://dx.doi.org/10.1109/CCA.2016.7587948