Cited By
View all- Jurdziński MMorvan RThejaswini K(2022)Universal Algorithms for Parity Games and Nested FixpointsPrinciples of Systems Design10.1007/978-3-031-22337-2_12(252-271)Online publication date: 29-Dec-2022
- Bulling NGoranko V(2021)Combining quantitative and qualitative reasoning in concurrent multi-player gamesAutonomous Agents and Multi-Agent Systems10.1007/s10458-021-09531-936:1Online publication date: 9-Nov-2021
- Chatterjee KIbsen-Jensen R(2019)Qualitative analysis of concurrent mean-payoff gamesInformation and Computation10.1016/j.ic.2015.03.009242:C(2-24)Online publication date: 4-Jan-2019
- Show More Cited By