Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications
- 17 March 2022
- journal article
- Published by AI Access Foundation in Journal of Artificial Intelligence Research
- Vol. 73, 897-932
- https://doi.org/10.1613/jair.1.12539