QUEST: A tool for state-space quantization-free synthesis of symbolic controllers

P. Jagtap, M. Zamani
August 2017
PDF Code Project DOI
Type
Book section
Publication
14th International Conference on Quantitative Evaluation of SysTems (QEST), Lecture Notes in Computer Science 10503