Pages that link to "Item:Q5166678"
From MaRDI portal
The following pages link to Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games (Q5166678):
Displayed 4 items.
- Parametric metric interval temporal logic (Q483304) (← 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)
- A game approach to the parametric control of real-time systems (Q5231423) (← links)