Quantitative fair simulation games

DOI10.1016/j.ic.2016.10.006zbMath1370.68165OpenAlexW2547665360MaRDI QIDQ528184

Thomas A. Henzinger, Jan Otop, Krishnendu Chatterjee, Yaron Velner

Publication date: 12 May 2017

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2016.10.006

zbMATH Keywords

simulationweighted automatamean-payoff gamesdiscounted-sum gamesfair simulationquantitative simulation

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Applications of game theory (91A80) Formal languages and automata (68Q45)

Related Items (3)

Optimal repair for omega-regular properties ⋮ Computing branching distances with quantitative games ⋮ On satisficing in quantitative games

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Simulation distances
• Number of quantifiers is better than number of tape cells
• Positional strategies for mean payoff games
• The complexity of stochastic games
• Borel determinacy
• The complexity of mean payoff games on graphs
• Pareto curves of multidimensional mean-payoff games
• Fair simulation
• The complexity of multi-mean-payoff and multi-energy games
• Hyperplane Separation Technique for Multidimensional Mean-Payoff Games
• Quantitative languages
• Temporal Specifications with Accumulative Values
• Robust Multidimensional Mean-Payoff Games are Undecidable
• Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition
• Mean-Payoff Automaton Expressions
• Half-Positional Determinacy of Infinite Games
• Better Quality in Synthesis through Quantitative Objectives
• On the menbership problem for functional and multivalued dependencies in relational databases
• Improved Algorithms for One-Pair and k-Pair Streett Objectives
• Nested Weighted Automata
• Faster Algorithms for Alternating Refinement Relations
• Synthesis from LTL Specifications with Mean-Payoff Objectives

This page was built for publication: Quantitative fair simulation games