Similar Items: Verification for Timed Automata extended with Unbounded Discrete Data Structures
- Comparator automata in quantitative verification
- Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker
- Manifold Fitting under Unbounded Noise
- Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism
- Formal Analysis of the Contract Automata Runtime Environment with Uppaal: Modelling, Verification and Testing
- Axiomatizing Maximal Progress and Discrete Time