Are Timed Automata Updatable?
No abstract available.
Related papers
- Automata-Based Verification of Programs with Tree Updates TACAS 2006
- Lazy Abstractions for Timed Automata CAV 2013
- Rabinizer 4: From LTL to Your Favourite Deterministic Automaton CAV 2018
- Compositional Abstraction for Timed Systems with Broadcast Synchronization CAV 2025
- Runtime Verification Based on Register Automata TACAS 2013
- Are Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata TACAS 2014
- Timed Automata CAV 1999
- Translating a Continuous-Time Temporal Logic into Timed Automata APLAS 2003