[2024-09-14 Sat]: Our paper "Verification-Guided Shielding for Deep Reinforcement Learning" appears in the Reinforcement Learning Journal (JLR)
Davide Corsi, Guy Amir, Andoni Rodríguez, Guy Katz, César Sánchez and Roy Fox: ``Verification-Guided Shielding for Deep Reinforcement Learning’’ published in the Reinforcement Learning Journal, vol 4, pp1759-1780, 2024
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.