Matías Brizzio

According to our database, Matías Brizzio authored at least 6 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Mode-Based Reactive Synthesis.

Matías Brizzio, Felipe Gorostiaga, César Sánchez, Renzo Degiovanni

Proceedings of the NASA Formal Methods - 17th International Symposium, 2025

2024

Resolving Goal-Conflicts and Scaling Synthesis through Mode-Based Decomposition.

Matías Brizzio

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

2023

Efficient Reactive Synthesis Using Mode Decomposition.

Matías Brizzio, César Sánchez

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

Automated Repair of Unrealisable LTL Specifications Guided by Model Counting.

Matías Brizzio, Maxime Cordy, Mike Papadakis, César Sánchez, Nazareno Aguirre, Renzo Degiovanni

Proceedings of the Genetic and Evolutionary Computation Conference, 2023

ACoRe: Automated Goal-Conflict Resolution.

Luiz Carvalho, Renzo Degiovanni, Matías Brizzio, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis

Proceedings of the Fundamental Approaches to Software Engineering, 2023

2021

Automated Repair of Unrealisable LTL Specifications Guided by Model Counting.

Matías Brizzio, Renzo Degiovanni, Maxime Cordy, Mike Papadakis, Nazareno Aguirre

CoRR, 2021