[2023-10-20 Fri]: Our paper "Efficient Reactive Synthesis Using Mode Decomposition" accepted at ICTAC 23
Matias Brizzio and César Sánchez: ``Efficient Reactive Synthesis Using Mode Decomposition’’ will appear in ICTAC'23 (LNCS 14446), pp 256-275, Springer.
César Sánchez
Research Professor
My research focuses on formal methods, in paricular logic, automata and game theory. Temporal logics for Hyperproperties. Applications to Blockchain.