10 citations · 12 across the 5 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
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…
cs.LO2023★ 1 cited
Retroactive Parametrized Monitoring
Paloma Pedregal, Felipe Gorostiaga, Cesar Sanchez
In online monitoring, we first synthesize a monitor from a formal specification, which later runs in tandem with the system under study, incrementally receiving its progress and ev…