Matías Brizzio

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

Collaborative distances:

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

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