[2025-03-25 Tue]: Our paper "(Asynchronous) Temporal Logics for Hyperproperties on Finite Traces" accepted at SPIN 25
Alberto Bombardelli, Laura Bozzelli, César Sánchez and Stefano Tonetta: ``(Asynchronous) Temporal Logics for Hyperproperties on Finite Traces’’ will appear in SPIN 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.