[2025-07-04 Fri]: Our paper "Efficient Dynamic Shielding for Parametric Safety Specifications" accepted at ATVA 25
Davide Corsi, Kaushik Mallik, Andoni Rodríguez, César Sánchez: ``Efficient Dynamic Shielding for Parametric Safety Specifications’’ will appear in ATVA 25, LNCS, Springer.
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.