Integer Parameter Synthesis for Timed Automata

DOI10.1007/978-3-642-36742-7_28zbMath1381.68121OpenAlexW1850823946MaRDI QIDQ5326340

Didier Lime, Olivier H. Roux, Aleksandra Ž. Jovanović

Publication date: 5 August 2013

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-36742-7_28

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (12)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions ⋮ Language Emptiness of Continuous-Time Parametric Timed Automata ⋮ Parametric Deadlock-Freeness Checking Timed Automata ⋮ Parameter synthesis for probabilistic timed automata using stochastic game abstractions ⋮ Unnamed Item ⋮ Parametric metric interval temporal logic ⋮ Parameter synthesis for hierarchical concurrent real-time systems ⋮ On parametric timed automata and one-counter machines ⋮ Unnamed Item ⋮ Timed automata relaxation for reachability ⋮ Unnamed Item ⋮ Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques

This page was built for publication: Integer Parameter Synthesis for Timed Automata