Pages that link to "Item:Q2248053"
From MaRDI portal
The following pages link to An extension of the inverse method to probabilistic timed automata (Q2248053):
Displaying 6 items.
- Tweaking the odds in probabilistic timed automata (Q832050) (← links)
- An extension of the inverse method to probabilistic timed automata (Q2248053) (← links)
- Model checking for probabilistic timed automata (Q2248072) (← links)
- Consistency in parametric interval probabilistic timed automata (Q2291816) (← links)
- Parameter synthesis for probabilistic timed automata using stochastic game abstractions (Q2636513) (← links)
- Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions (Q3447704) (← links)
