Patricia Bouyer (LMF, CNRS), B Srivathsan (CMI and ReLaX, India) and Vaishnavi Vishwanath (CMI, India) received the Best ETAPS Paper Award in 2025, which is given to the best theoretical paper at ETAPS, the International Joint Conferences on Theory and Practice of Software.
In their award-winning contribution, entitled Model-checking real-time systems: revisiting the alternating automaton route, they present the first symbolic approach to the analysis of single-clock alternating timed automata, a powerful model that allows to capture rich timed properties.