[2024-05-16 Thu]: Our paper "Verification-Guided Shielding for Deep Reinforcement Learning" accepted at RLC 24
Davide Corsi, Guy Amir, Andoni Rodríguez, Guy Katz, César Sánchez and Roy Fox: ``Verification-Guided Shielding for Deep Reinforcement Learning’’ will appear in RLC 24 (wih proceedings in the Reinforcement Learning Journal.
César Sánchez
Professor
My research focuses on formal methods, in paricular logic, automata and game theory. Temporal logics for Hyperproperties. Reactive Synthesis Modulo Theories. Applications to Blockchain.