Shrinktech: A Tool for the Robustness Analysis of Timed Automata
Abstract elided by the publisher.
Related papers
- Symbolic Quantitative Robustness Analysis of Timed Automata TACAS 2015
- Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach CAV 2019
- Complementing Büchi Automata with Ranker CAV 2022
- Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic ESOP 2017
- TarTar: A Timed Automata Repair Tool CAV 2020
- IMITATOR 3: Synthesis of Timing Parameters Beyond Decidability CAV 2021
- Stranger: An Automata-Based String Analysis Tool for PHP TACAS 2010
- Extending QuAK with Nested Quantitative Automata CAV 2026