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
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