"Specification-guided controller synthesis for linear systems and safe ..."

Matthias Rungger, Manuel Mazo Jr., Paulo Tabuada (2013)

Details and statistics

DOI: 10.1145/2461328.2461378

access: closed

type: Conference or Workshop Paper

metadata version: 2023-06-26