Matías Brizzio

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 7

Top Topics

Hierarchical Decomposition

Conflict Resolution

Top Venues

Publications

Matías Brizzio
Resolving Goal-Conflicts and Scaling Synthesis through Mode-Based Decomposition. ICSE Companion (2024)
Matías Brizzio, César Sánchez
Efficient Reactive Synthesis Using Mode Decomposition. ICTAC (2023)
Luiz Carvalho, Renzo Degiovanni, Matías Brizzio, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis
ACoRe: Automated Goal-Conflict Resolution. FASE (2023)
Matías Brizzio, César Sánchez
Efficient Reactive Synthesis Using Mode Decomposition. CoRR (2023)
Luiz Carvalho, Renzo Degiovanni, Matías Brizzio, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis
ACoRe: Automated Goal-Conflict Resolution. CoRR (2023)
Matías Brizzio, Maxime Cordy, Mike Papadakis, César Sánchez, Nazareno Aguirre, Renzo Degiovanni
Automated Repair of Unrealisable LTL Specifications Guided by Model Counting. GECCO (2023)
Matías Brizzio, Renzo Degiovanni, Maxime Cordy, Mike Papadakis, Nazareno Aguirre
Automated Repair of Unrealisable LTL Specifications Guided by Model Counting. CoRR (2021)