Integer-complete synthesis for bounded parametric timed automata
From MaRDI portal
Publication:1675143
DOI10.1007/978-3-319-24537-9_2zbMath1471.68111OpenAlexW2295332800MaRDI QIDQ1675143
Didier Lime, Olivier H. Roux, Étienne André
Publication date: 27 October 2017
Full work available at URL: https://doi.org/10.1007/978-3-319-24537-9_2
Related Items (5)
Unnamed Item ⋮ On completeness of liveness synthesis for parametric timed automata (Extended Abstract) ⋮ Unnamed Item ⋮ What’s Decidable About Parametric Timed Automata? ⋮ Efficient convex zone merging in parametric timed automata
This page was built for publication: Integer-complete synthesis for bounded parametric timed automata