Login
- Titel:
SCOTS: A tool for the synthesis of symbolic controllers
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Rungger, M.; Zamani, M.
- Kongress- / Buchtitel:
- Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control
- Verlag / Institution:
- ACM
- Jahr:
- 2016
- Seiten:
- 99--104
- Volltext / DOI:
- doi:10.1145/2883817.2883834
BibTeX