Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games

DOI10.1007/978-3-319-02444-8_8zbMath1410.68205OpenAlexW4291334134MaRDI QIDQ5166678

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

Publication date: 8 July 2014

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-02444-8_8

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (4)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions ⋮ Parameter synthesis for probabilistic timed automata using stochastic game abstractions ⋮ Parametric metric interval temporal logic ⋮ A game approach to the parametric control of real-time systems

Uses Software

• UPPAAL TIGA

This page was built for publication: Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games