[2024-06-26 Wed]: Our paper "Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis" accepted at ATVA 24
Andoni Rodríguez, Felipe Gorostiaga and César Sánchez: ``Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis’’ will appear in ATVA 24 (LNCS 15055), pp 28-50, 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.