Pages that link to "Item:Q5326323"
From MaRDI portal
The following pages link to Synthesis from LTL Specifications with Mean-Payoff Objectives (Q5326323):
Displaying 14 items.
- Quantitative fair simulation games (Q528184) (← links)
- Synthesis from component libraries with costs (Q683714) (← links)
- Program repair without regret (Q746769) (← links)
- Safraless LTL synthesis considering maximal realizability (Q1674867) (← links)
- Strategy synthesis for multi-dimensional quantitative objectives (Q2249657) (← links)
- Qualitative analysis of concurrent mean-payoff games (Q2346403) (← links)
- Looking at mean-payoff and total-payoff through windows (Q2346404) (← links)
- Hyperplane separation technique for multidimensional mean-payoff games (Q2361356) (← links)
- Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes (Q2407982) (← links)
- Average-energy games (Q2413482) (← links)
- Solving Mean-Payoff Games via Quasi Dominions (Q5164175) (← links)
- (Q5875383) (← links)
- Solving mean-payoff games via quasi dominions (Q6204169) (← links)
- Synthesis with privacy against an observer (Q6629463) (← links)
