Pages that link to "Item:Q5357712"
From MaRDI portal
The following pages link to On the Value Problem in Weighted Timed Games. (Q5357712):
Displaying 5 items.
- On the coincidence of the minimax solution and the value function in a time-optimal game with a lifeline (Q2284205) (← links)
- Optimal Reachability in Divergent Weighted Timed Games (Q2988366) (← links)
- Symbolic Approximation of Weighted Timed Games (Q5090965) (← links)
- The Value 1 Problem Under Finite-memory Strategies for Concurrent Mean-payoff Games (Q5363044) (← links)
- Optimal controller synthesis for timed systems (Q6135744) (← links)