Pages that link to "Item:Q3586046"
From MaRDI portal
The following pages link to Energy and Mean-Payoff Games with Imperfect Information (Q3586046):
Displaying 16 items.
- The fixed initial credit problem for partial-observation energy games is \textsc{Ack}-complete (Q344560) (← links)
- Reactive synthesis without regret (Q520338) (← links)
- Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games (Q528191) (← links)
- Looking at mean payoff through foggy windows (Q1629743) (← links)
- What's decidable about weighted automata? (Q2064522) (← links)
- Mean-payoff games with partial observation (Q2636514) (← links)
- Reachability games with relaxed energy constraints (Q2672231) (← links)
- Optimal Bounds for Multiweighted and Parametrised Energy Games (Q2842640) (← links)
- Energy Games in Multiweighted Automata (Q3105747) (← links)
- Minimum Attention Controller Synthesis for Omega-Regular Objectives (Q3172849) (← links)
- (Q5014442) (← links)
- (Q5020520) (← links)
- (Q5089314) (← links)
- (Q5875383) (← links)
- On the comparison of discounted-sum automata with multiple discount factors (Q6091205) (← links)
- Enforcing opacity by insertion functions under multiple energy constraints (Q6198145) (← links)
