Sánchez, César

3 publications

L4DC 2025 Realizable Continuous-Space Shields for Safe Reinforcement Learning Kyungmin Kim, Davide Corsi, Andoni Rodrı́guez, Jb Lanier, Benjami Parellada, Pierre Baldi, César Sánchez, Roy Fox

AAAI 2025 Shield Synthesis for LTL Modulo Theories Andoni Rodríguez, Guy Amir, Davide Corsi, César Sánchez, Guy Katz

AAAI 2024 Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories Andoni Rodríguez, César Sánchez