66 citations · 111 across the 15 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023
Boolean Abstractions for Realizability Modulo Theories (Extended version)
Andoni Rodriguez, Cesar Sanchez
In this paper, we address the problem of the (reactive) realizability of specifications of theories richer than Booleans, including arithmetic theories. Our approach transforms the…
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…