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
Oslo Studies in Language
In Proceedings of the 21st Annual International ACM SIGIR Conference on Research and Development in In- formation Retrieval, 335-336. ... Em Proceedings of the 21st ACM International Conference on Information and Knowledge Management, 175-184. Lin, Fu-ren & Chia-Hao Liang. 2008. ... incorporated the methodology into their professional practice; c) the feedback they received from the technical reviser (as part of the publisher's preparation of the final version of the material for ...fatcat:4bgyytz4rnfw5p6h2x4xy3k72y