QUEST: A Tool for State-Space Quantization-Free Synthesis of Symbolic Controllers
Chapter
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
- 9
published in
Other Profiles
Digital Object Identifier (DOI)
International Standard Book Number (ISBN) 13
- 978-3-319-66334-0
Additional Document Info
start page
- 309
end page
- 313
volume
- 10503