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 2 items.

• Verification and control for probabilistic hybrid automata with finite bisimulations (Q1734511) (← links)
• Parameter synthesis for probabilistic timed automata using stochastic game abstractions (Q2636513) (← links)