Pages that link to "Item:Q2842640"
From MaRDI portal
The following pages link to Optimal Bounds for Multiweighted and Parametrised Energy Games (Q2842640):
Displaying 14 items.
- Average-energy games (Q2413482) (← links)
- Model checking and synthesis for branching multi-weighted logics (Q2423760) (← links)
- Reachability games with relaxed energy constraints (Q2672231) (← links)
- Ratio and Weight Quantiles (Q2946351) (← links)
- Bounding Average-Energy Games (Q2988367) (← links)
- Fixed-Dimensional Energy Games are in Pseudo-Polynomial Time (Q3449481) (← links)
- (Q5013874) (← links)
- (Q5014442) (← links)
- (Q5020520) (← links)
- (Q5021006) (← links)
- (Q5875382) (← links)
- On the complexity of resource-bounded logics (Q5915568) (← links)
- Efficient Algorithms for Omega-Regular Energy Games (Q6488464) (← links)
- Multi-weighted reachability games (Q6623017) (← links)