Pages that link to "Item:Q517046"

The following pages link to Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata (Q517046):

Displaying 4 items.

• Verification and control for probabilistic hybrid automata with finite bisimulations (Q1734511) (← links)
• \(\mathrm{MDP + TA = PTA}\): probabilistic timed automata, formalized (short paper) (Q1791206) (← links)
• Parameter synthesis for probabilistic timed automata using stochastic game abstractions (Q2636513) (← links)
• The Complexity of Bounded Synthesis for Timed Control with Partial Observability (Q4649397) (← links)