[2024-12-10 Thu]: Our paper "Shield Synthesis for LTL Modulo Theories" accepted at AAAI 2025

Andoni Rodríguez, Guy Amir, Davide Corsi, César Sánchez and Guy Katz: ``Shield Synthesis for LTL Modulo Theories’’ will appear in AAAI'25

César Sánchez
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.