Pages that link to "Item:Q832050"
From MaRDI portal
The following pages link to Tweaking the odds in probabilistic timed automata (Q832050):
Displaying 5 items.
- Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata (Q517046) (← links)
- Parametric probabilistic transition systems for system design and analysis (Q877158) (← links)
- \(\mathrm{MDP + TA = PTA}\): probabilistic timed automata, formalized (short paper) (Q1791206) (← links)
- An extension of the inverse method to probabilistic timed automata (Q2248053) (← links)
- Parameter synthesis for probabilistic timed automata using stochastic game abstractions (Q2636513) (← links)
