Login
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Jagtap, P.; Zamani, M.
- Titel:
- QUEST: A Tool for State-Space Quantization-Free Synthesis of Symbolic Controllers
- Kongress- / Buchtitel:
- Proceedings of the International Conference on Quantitative Evaluation of Systems
- Ausrichter der Konferenz:
- Springer
- Jahr:
- 2017
- Seiten:
- 309--313
BibTeX