Integer Parameter Synthesis for Timed Automata
From MaRDI portal
Publication:5326340
DOI10.1007/978-3-642-36742-7_28zbMath1381.68121MaRDI 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
68Q45: Formal languages and automata
Related Items
Unnamed Item, Unnamed Item, Unnamed Item, Parametric metric interval temporal logic, Parameter synthesis for hierarchical concurrent real-time systems, On parametric timed automata and one-counter machines, Timed automata relaxation for reachability, Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques, Parameter synthesis for probabilistic timed automata using stochastic game abstractions, Parametric Deadlock-Freeness Checking Timed Automata, Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions, Language Emptiness of Continuous-Time Parametric Timed Automata