- Title:
A modal interface contract theory for guarded input/output automata with an application in traffic system design
- Document type:
- Konferenzbeitrag
- Author(s):
- Phan-Minh, T.; Guo, S.; Schürmann, B.; Althoff, M.; Murray, R. M.
- Book / Congress title:
- Proc. of the American Control Conference
- Year:
- 2019
- Pages:
- 1704-1711
- Fulltext / DOI:
- doi:10.23919/ACC.2019.8814789
- BibTeX