Type
Publication
Proc. of the 39th AAAI Conf. on Artificial Intelligence (AAAI'25), pp5037-5044, AAAI Press, 2025
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.