- On Synthesis of Distributed Monitors (Invited Talk) Anca Muscholl Sun 24 August 2025
- Strategy Logic with Imperfect Information Raphael Berthon Bastien Maubert Aniello Murano Sasha Rubin Moshe Y. Vardi Mon 26 July 2021
- A quadratic construction for Zielonka automata with acyclic communication structure Siddharth Krishna Anca Muscholl Mon 30 April 2018
Library Size: 13G (3 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
