$\ddot{I}‰$-Regular Energy Problems

Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier

We show how to efficiently solve problems involving a quantitative measure, here called energy, as well as a qualitative acceptance condition, expressed as a Büchi or Parity objec…