QUEST: A Tool for State-Space Quantization-Free Synthesis of Symbolic Controllers Chapter uri icon

Overview

publication date

  • January 1, 2017

has restriction

  • closed

Date in CU Experts

  • July 24, 2019 2:07 AM

Full Author List

  • Jagtap P; Zamani M

Full Editor List

  • Bertrand N; Bortolussi L

author count

  • 2

citation count

  • 6

Other Profiles

International Standard Book Number (ISBN) 13

  • 978-3-319-66334-0

Additional Document Info

start page

  • 309

end page

  • 313

volume

  • 10503