Dynamic Epistemic Logic Games with Epistemic Temporal Goals.

Bastien Maubert, Aniello Murano, Sophie Pinchinat, Franois Schwarzentruber, Silvia Stranieri

Browse the full ECAI paper archive.