Tools and Algorithms for Construction and Analysis of Systems (TACAS)
Modular Attractor Acceleration in Infinite-State Games
Annual Conference on Computer Science Logic (CSL)
Reward Interfaces with Best-Effort Implementations
International Joint Conference on Artificial Intelligence (IJCAI)
Synthesis of Communication Policies for Multi-Agent Systems Robust to Communication Restrictions
Computer Aided Verification (CAV)
Issy: A Comprehensive Tool for Specification and Synthesis of Infinite-State Reactive Systems
National Conference of the American Association for Artificial Intelligence (AAAI)
Contract-based Design and Verification of Multi-Agent Systems with Quantitative Temporal Requirements
