Specification-guided controller synthesis for linear systems and safe linear-time temporal logic
Conference Paper
(2013)
Author(s)
M Rungger (External organisation)
M Mazo Jr. (TU Delft - OLD Intelligent Control & Robotics)
P Tabuada (External organisation)
Research Group
OLD Intelligent Control & Robotics
DOI related publication
https://doi.org/10.1145/2461328.2461378
To reference this document use:
https://resolver.tudelft.nl/uuid:63fcc7b4-6437-4198-9c25-7307bb134440
More Info
expand_more
expand_more
Publication Year
2013
Language
English
Research Group
OLD Intelligent Control & Robotics
Pages (from-to)
333-342
ISBN (print)
978-1-4503-1567-8
No files available
Metadata only record. There are no files for this record.