Mean-Payoff Automaton Expressions

DOI10.1007/978-3-642-15375-4_19zbMath1287.68093arXiv1006.1492OpenAlexW1673045676MaRDI QIDQ3584936

Philippe Rannou, Laurent Doyen, Krishnendu Chatterjee, Thomas A. Henzinger, Herbert Edelsbrunner

Publication date: 31 August 2010

Published in: CONCUR 2010 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1006.1492

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items

Hyperplane separation technique for multidimensional mean-payoff games, Subgame-perfect Equilibria in Mean-payoff Games (journal version), Emptiness and Universality Problems in Timed Automata with Positive Frequency, Quantitative fair simulation games, Decidable weighted expressions with Presburger combinators, Bidirectional nested weighted automata, The complexity of multi-mean-payoff and multi-energy games