Integer Parameter Synthesis for Timed Automata
Abstract elided by the publisher.
Related papers
- Minimal-Time Synthesis for Parametric Timed Automata TACAS 2019
- Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata TACAS 2021
- IMITATOR 3: Synthesis of Timing Parameters Beyond Decidability CAV 2021
- On-The-Fly Algorithm for Reachability in Parametric Timed Games TACAS 2024
- Synthia: Verification and Synthesis for Timed Automata CAV 2011
- PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems CAV 2013
- SAT-Based Synthesis of Minimal Deterministic Real-Time Automata via 3DRTA Representation VMCAI 2026
- Timed Automata Verification and Synthesis via Finite Automata Learning TACAS 2023