The following pages link to On probabilistic timed automata. (Q1853732):
Displayed 8 items.
- Expected reachability-time games (Q278757) (← links)
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Weak bisimulation for probabilistic timed automata (Q606996) (← links)
- Model checking for probabilistic timed automata (Q2248072) (← links)
- Symbolic model checking for probabilistic timed automata (Q2373877) (← links)
- Concavely-Priced Probabilistic Timed Automata (Q3184689) (← links)
- Strict Divergence for Probabilistic Timed Automata (Q3184704) (← links)
- Stochastic Games for Verification of Probabilistic Timed Automata (Q3648833) (← links)