2 Hits in 15.8 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

Oslo Studies in Language 7 (1) / 2015 Linguística, Informática e Tradução: Mundos que se Cruzam Homenagem a Belinda Maia Linguística, Informática e Tradução: Mundos que se Cruzam Contents Mundos que se Cruzam Para uma ontologia dos estudos de tradução

Alberto Simões, Anabela Barreiro, Diana Santos, Rui Sousa-Silva, Stella Tagnin, Alberto Simões, Diana Santos, Alberto Simões, Alexandre Rademaker, Ana Brito, Anabela Barreiro, Brett Drury (+44 others)
2015 Oslo Studies in Language   unpublished
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  ...