- Document type:
- Konferenzbeitrag
- Author(s):
- Rungger, M.; Zamani, M.
- Title:
- SCOTS: A tool for the synthesis of symbolic controllers
- Book / Congress title:
- Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control
- Publisher:
- ACM
- Year:
- 2016
- Pages:
- 99--104
- Fulltext / DOI:
- doi:10.1145/2883817.2883834
BibTeX