On the Complexity of Model Checking Knowledge and Time

Open Webpage

Laura Bozzelli, Bastien Maubert, Aniello Murano

Published: 01 Jan 2024, Last Modified: 15 May 2025ACM Trans. Comput. Log. 2024EveryoneRevisionsBibTeXCC BY-SA 4.0