Our group has had a paper accepted for publication in the Journal of Artificial Intelligence Research:

  • F. Belardinelli, A. Lomuscio, V. Malvone, E. Yu, “Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications”.

More details can be found on the publications page.