[2025-07-11 Fri]: Our paper "Explanations for Unrealizability of Infinite-State Safety Shields" accepted at KR 25
Andoni Rodríguez, Irfansha Shaik, Davide Corsi, Roy Fox and César Sánchez: ``Explanations for Unrealizability of Infinite-State Safety Shields’’ will appear in KR 25, IJCAI.
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.