collaborators

1 paper

cs.LO2024

Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis

Andoni Rodríguez, Felipe Gorostiaga, César Sánchez

Reactive synthesis is the process of generating correct controllers from temporal logic specifications. Classical LTL reactive synthesis handles (propositional) LTL as a specificat…