Automated Repair of Unrealisable LTL Specifications Guided by Model Counting. - Matías Brizzio; Renzo Degiovanni; Maxime Cordy; Mike Papadakis; Nazareno Aguirre (CoRR, 2021)

ACoRe: Automated Goal-Conflict Resolution. - Luiz Carvalho; Renzo Degiovanni; Matías Brizzio; Maxime Cordy; Nazareno Aguirre; Yves Le Traon; Mike Papadakis (FASE, 2023)

Automated Repair of Unrealisable LTL Specifications Guided by Model Counting. - Matías Brizzio; Maxime Cordy; Mike Papadakis; César Sánchez 001; Nazareno Aguirre; Renzo Degiovanni (GECCO, 2023)

Efficient Reactive Synthesis Using Mode Decomposition. - Matías Brizzio; César Sánchez 001 (ICTAC, 2023)

Resolving Goal-Conflicts and Scaling Synthesis through Mode-Based Decomposition. - Matías Brizzio (ICSE Companion, 2024)

Mode-Based Reactive Synthesis. - Matías Brizzio; Felipe Gorostiaga; César Sánchez 001; Renzo Degiovanni (NFM, 2025)