1 Hit in 4.5 sec

Energy mu-Calculus: Symbolic Fixed-Point Algorithms for omega-Regular Energy Games [article]

Gal Amram, Shahar Maoz, Or Pistiner, Jan Oliver Ringert
2020 arXiv   pre-print
We define the syntax and semantics of energy $\mu$-calculus over symbolic representations of the game graphs, and show how to use it to solve the decision and the minimum credit problems for $\omega$-regular  ...  The logic of modal $\mu$-calculus, when applied over game graphs with $\omega$-regular winning conditions, allows defining symbolic algorithms in the form of fixed-point formulas for computing the sets  ...  Acknowledgment This project has received funding from the European Research Council (ERC) under the European Union's Horizon 2020 research and innovation programme (grant agreement No 638049, SYNTECH).  ... 
arXiv:2005.00641v2 fatcat:2rytzlgiqzh77jswgdy5nurc24