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

Overview

publication date

  • January 1, 2017

Full Author List

  • Japtap P; Zamani M

book title

  • Quantitative Evaluation of Systems (QEST)

Additional Document Info

start page

  • 309

end page

  • 313

volume

  • 10503