Pages that link to "Item:Q2988366"
From MaRDI portal
The following pages link to Optimal Reachability in Divergent Weighted Timed Games (Q2988366):
Displaying 8 items.
- Expected reachability-time games (Q278757) (← links)
- Optimal Reachability in Divergent Weighted Timed Games (Q2988366) (← links)
- (Q4989408) (← links)
- Symbolic Approximation of Weighted Timed Games (Q5090965) (← links)
- (Q5101350) (← links)
- Alternating Reachability Games with Behavioral and Revenue Objectives (Q5222974) (← links)
- On the Value Problem in Weighted Timed Games. (Q5357712) (← links)
- Optimal controller synthesis for timed systems (Q6135744) (← links)