Looking at mean-payoff and total-payoff through windows
From MaRDI portal
Publication:2346404
Recommendations
- Looking at mean-payoff and total-payoff through windows
- Looking at mean-payoff through foggy windows
- Looking at mean payoff through foggy windows
- scientific article; zbMATH DE number 7650329
- Mean-payoff games with partial observation
- scientific article; zbMATH DE number 67462
- On the construction of optimal payoffs
- Mean-payoff games with partial-observation (extended abstract)
- Publication:4490387
Cites work
- A characterization of the minimum cycle mean in a digraph
- A combinatorial strongly subexponential strategy improvement algorithm for mean payoff games
- Alternation
- Approximating the minimum cycle mean
- Borel determinacy
- Church synthesis problem for noisy input
- Cyclic games and an algorithm to find minimax cycle means in directed graphs
- Cyclical games with prohibitions
- Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
- Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition
- Faster algorithms for mean-payoff games
- Finitary winning in \({\omega}\)-regular games
- From liveness to promptness
- Games through Nested Fixpoints
- Generalized mean-payoff and energy games
- scientific article; zbMATH DE number 1223710 (Why is no real title available?)
- scientific article; zbMATH DE number 1134975 (Why is no real title available?)
- Infinite-state games with finitary conditions
- Looking at mean-payoff and total-payoff through windows
- Mathematical Foundations of Computer Science 2004
- Mean cost cyclical games
- Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games
- Model Checking Probabilistic Timed Automata with One or Two Clocks
- Nets with tokens which carry data
- Positional strategies for mean payoff games
- Recursive unsolvability of Post's problem of Tag und other topics in theory of Turing machines
- Stochastic Games with Perfect Information and Time Average Payoff
- Synthesis from LTL specifications with mean-payoff objectives
- The complexity of mean payoff games on graphs
- Tools and Algorithms for the Construction and Analysis of Systems
- Verifying lossy channel systems has nonprimitive recursive complexity.
Cited in
(30)- Looking at mean payoff through foggy windows
- Timed games with bounded window parity objectives
- The complexity of multi-mean-payoff and multi-energy games
- Average-energy games
- Robust multidimensional mean-payoff games are undecidable
- Bounding Average-Energy Games
- Looking at mean-payoff through foggy windows
- On the complexity of heterogeneous multidimensional games
- Concurrent games and semi-random determinacy
- Average-energy games
- Window parity games: an alternative approach toward parity games with time bounds
- Games where you can play optimally with arena-independent finite memory
- scientific article; zbMATH DE number 7559480 (Why is no real title available?)
- Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions
- Life is random, time is not: Markov decision processes with window objectives
- Looking at mean-payoff and total-payoff through windows
- Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games
- To reach or not to reach? Efficient algorithms for total-payoff games
- Combinations of Qualitative Winning for Stochastic Parity Games
- Life is random, time is not: Markov decision processes with window objectives
- Energy mean-payoff games
- Percentile queries in multi-dimensional Markov decision processes
- Half-positional objectives recognized by deterministic Büchi automata
- Stochastic window mean-payoff games
- Fast algorithms for energy games in special cases
- Stochastic window mean-payoff games
- Offline supervisory control synthesis: taxonomy and recent developments
- Promptness and fairness in Muller LTL formulas
- Simplicity lies in the eye of the beholder: a strategic perspective on controllers in reactive synthesis
- Expectation in stochastic games with prefix-independent objectives
This page was built for publication: Looking at mean-payoff and total-payoff through windows
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2346404)
