The Complexity of Model Checking Knowledge and Time.

Laura Bozzelli, Bastien Maubert, Aniello Murano

Browse the full IJCAI paper archive.