Pages that link to "Item:Q5275374"
From MaRDI portal
The following pages link to Simple priced timed games are not that simple (Q5275374):
Displaying 8 items.
- Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games (Q520343) (← links)
- Optimal Reachability in Divergent Weighted Timed Games (Q2988366) (← links)
- Symbolic Approximation of Weighted Timed Games (Q5090965) (← links)
- (Q5101350) (← links)
- Revisiting Robustness in Priced Timed Games (Q5275373) (← links)
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465848) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5897954) (← links)
- Optimal controller synthesis for timed systems (Q6135744) (← links)