Login
- Document type:
- Konferenzbeitrag
- Author(s):
- Jagtap, P.; Zamani, M.
- Title:
- QUEST: A Tool for State-Space Quantization-Free Synthesis of Symbolic Controllers
- Book / Congress title:
- Proceedings of the International Conference on Quantitative Evaluation of Systems
- Organization:
- Springer
- Year:
- 2017
- Pages:
- 309--313
BibTeX