LTL Parameter Synthesis of Parametric Timed Automata

DOI10.1007/978-3-319-41591-8_12zbMath1390.68422arXiv1409.3696OpenAlexW2295421498MaRDI QIDQ4571131

Nikola Beneš, Peter Bezděk, Jiří Barnat, Ivana Černá

Publication date: 6 July 2018

Published in: Software Engineering and Formal Methods (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1409.3696

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (7)

On clock-aware LTL parameter synthesis of timed automata ⋮ LTL Parameter Synthesis of Parametric Timed Automata ⋮ On completeness of liveness synthesis for parametric timed automata (Extended Abstract) ⋮ Unnamed Item ⋮ Timed automata relaxation for reachability ⋮ Iterative bounded synthesis for efficient cycle detection in parametric timed automata ⋮ Efficient convex zone merging in parametric timed automata

Uses Software

• Uppaal
• PPL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Checking timed Büchi automata emptiness efficiently
• Decision problems for lower/upper bound parametric timed automata
• A theory of timed automata
• Linear parametric model checking of timed automata
• Forward analysis of updatable timed automata
• On Clock-Aware LTL Properties of Timed Automata
• Language Emptiness of Continuous-Time Parametric Timed Automata
• Checking Timed Büchi Automata Emptiness Using LU-Abstractions
• LTL Parameter Synthesis of Parametric Timed Automata
• Parametric real-time reasoning
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: LTL Parameter Synthesis of Parametric Timed Automata