The following pages link to (Q4418686):
Displayed 11 items.
- Reachability solution characterization of parametric real-time systems (Q703513) (← links)
- A quadratic-time DBM-based successor algorithm for checking timed automata (Q1044715) (← links)
- Updatable timed automata (Q1885906) (← links)
- Backward symbolic optimal reachability in weighted timed automata (Q1996010) (← links)
- Zone-based verification of timed automata: extrapolations, simulations and what next? (Q2112098) (← links)
- Configurable verification of timed automata with discrete variables (Q2120808) (← links)
- Model checking for probabilistic timed automata (Q2248072) (← links)
- Effective definability of the reachability relation in timed automata (Q2338218) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Symbolic Model Checking in Non-Boolean Domains (Q3176389) (← links)
- A menagerie of timed automata (Q5176174) (← links)