Strategy Complexity of Point Payoff, Mean Payoff and Total Payoff Objectives in Countable MDPs

no code implementations • 10 Mar 2022 • Richard Mayr, Eric Munday

Point payoff (the sequence of directly seen transition rewards), 2.

Strategy Complexity of Mean Payoff, Total Payoff and Point Payoff Objectives in Countable MDPs

no code implementations • 1 Jul 2021 • Richard Mayr, Eric Munday

Point payoff (the sequence of directly seen transition rewards), 2.

Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP

no code implementations • 18 Jan 2021 • Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak

We study stochastic games with energy-parity objectives, which combine quantitative rewards with a qualitative $\omega$-regular condition: The maximizer aims to avoid running out of energy while simultaneously satisfying a parity condition.

Computer Science and Game Theory Logic in Computer Science

Advanced Automata Minimization

1 code implementation • 24 Oct 2012 • Lorenzo Clemente, Richard Mayr

The algorithm is based on new transition pruning techniques.

Formal Languages and Automata Theory Data Structures and Algorithms 68Q45 D.2.4; F.1.1