Softwares

• Solver for energy and parity games by Michaël Cadilhac, Antonio Casares and Pierre Ohlmann, verified by an artifact at TACAS 2025, based on the tool Oink: tool, associated article published at TACAS 2025
• Solver for one-clock weighted timed games, by Julie Parreaux: tool, associated article published at LMCS
• Mathematica package that implements the algorithm for solving the energy-constrained infinite-run problem for flat segmented energy timed automata, by Giovanni Bacci, with the help, among others, of Pierre-Alain Reynier: tool. Associated articles: Formal Aspects of Computing in 2021, FM 2018
• MightyL: A tool to convert formulas written in the MITL logic into a set of timed automata, whose synchronous product accepts the language of the formula, implemented and maintained by Hsi-Ming Ho, with the help, among others, of Benjamin Monmege. Associated articles: CAV 2017, TIME 2017