Pages that link to "Item:Q2945592"
From MaRDI portal
The following pages link to Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata (Q2945592):
Displayed 5 items.
- Expected reachability-time games (Q278757) (← links)
- Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata (Q517046) (← links)
- Parameter synthesis for probabilistic timed automata using stochastic game abstractions (Q2636513) (← links)
- Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata (Q2945592) (← links)
- Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties (Q6104804) (← links)