Matas Brizzio
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2023–2026
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | KR | AIGLE: A Tool for Compact, Legible AIGER Circuits from Safety Specifications. | Matas Brizzio, Andoni Rodrguez, Csar Snchez, Renzo Degiovanni |
| 2024 | ICSE | Resolving Goal-Conflicts and Scaling Synthesis through Mode-Based Decomposition. | Matas Brizzio |
| 2023 | FASE | ACoRe: Automated Goal-Conflict Resolution. | Luiz Carvalho, Renzo Degiovanni, Matas Brizzio, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis |
| 2023 | GECCO | Automated Repair of Unrealisable LTL Specifications Guided by Model Counting. | Matas Brizzio, Maxime Cordy, Mike Papadakis, Csar Snchez, Nazareno Aguirre, Renzo Degiovanni |
| 2023 | ICTAC | Efficient Reactive Synthesis Using Mode Decomposition. | Matas Brizzio, Csar Snchez |