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):
Displaying 4 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)
