[2025-04-02 Wed]: Our paper "Counter Example Guided Reactive Synthesis for LTL ModuloTheories" accepted at CAV 25
Andoni Rodríguez, Felipe Gorostiaga, César Sánchez: ``Counter Example Guided Reactive Synthesis for LTL Modulo Theories’’ will appear in CAV 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.