12 citations · 16 across the 3 of their papers we have counts for
3 papers
cs.LO2023★ 3 cited
Efficient Reactive Synthesis Using Mode Decomposition
Matías Brizzio, César Sánchez
Developing critical components, such as mission controllers or embedded systems, is a challenging task. Reactive synthesis is a technique to automatically produce correct controlle…
cs.SE2023★ 1 cited
ACoRe: Automated Goal-Conflict Resolution
Luiz Carvalho, Renzo Degiovanni, Matìas Brizzio +4
System goals are the statements that, in the context of software requirements specification, capture how the software should behave. Many times, the understanding of stakeholders o…
cs.SE2021★ 12 cited
Automated Repair of Unrealisable LTL Specifications Guided by Model Counting
Matías Brizzio, Maxime Cordy, Mike Papadakis +3
The reactive synthesis problem consists of automatically producing correct-by-construction operational models of systems from high-level formal specifications of their behaviours.…