Matías Brizzio

Orcid: 0009-0000-9427-9345

According to our database1, Matías Brizzio authored at least 5 papers between 2021 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Resolving Goal-Conflicts and Scaling Synthesis through Mode-Based Decomposition.
Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

2023
Efficient Reactive Synthesis Using Mode Decomposition.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

Automated Repair of Unrealisable LTL Specifications Guided by Model Counting.
Proceedings of the Genetic and Evolutionary Computation Conference, 2023

ACoRe: Automated Goal-Conflict Resolution.
Proceedings of the Fundamental Approaches to Software Engineering, 2023

2021
Automated Repair of Unrealisable LTL Specifications Guided by Model Counting.
CoRR, 2021


  Loading...