A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
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