The following pages link to (Q5275374):
Displaying 5 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)
- Optimal controller synthesis for timed systems (Q6135744) (← links)
