Temporal Explorability Games

Pete Austin, Sougata Bose, Nicolas Mazzocchi, Patrick Totzke. Temporal Explorability Games. In Patricia Bouyer, Jaco van de Pol, editors, 36th International Conference on Concurrency Theory, CONCUR 2025, August 26-29, 2025, Aarhus, Denmark. Volume 348 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. [doi]

Abstract

Abstract is missing.