2 citations · 2 across the 4 of their papers we have counts for
4 papers
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…
Verification-Guided Shielding for Deep Reinforcement Learning
Davide Corsi, Guy Amir, Andoni Rodriguez +3
In recent years, Deep Reinforcement Learning (DRL) has emerged as an effective approach to solving real-world tasks. However, despite their successes, DRL-based policies suffer fro…
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…
From Realizability Modulo Theories to Synthesis Modulo Theories Part 1: Dynamic approach
Andoni Rodríguez, Cesar Sanchez
Reactive synthesis is the process of using temporal logic specifications in LTL to generate correct controllers, but its use has been restricted to Boolean specifications. Recently…