Robust controller synthesis in timed Büchi automata: a symbolic approach

DOI10.1007/978-3-030-25540-4_33MaRDI QIDQ6194594

Pierre-Alain Reynier, Benjamin Monmege, Ocan Sankur, Damien Busatto-Gaston

Publication date: 16 February 2024

Published in: Computer Aided Verification (Search for Journal in Brave)

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Synthesis problems (93B50) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Computing maximally-permissive strategies in acyclic timed automata

This page was built for publication: Robust controller synthesis in timed Büchi automata: a symbolic approach