[Lrde Annonce] New publication: "From Spot 2.0 to Spot 2.10: What's New?" (CAV'22)

We are happy to announce that the following article has been accepted to the 34th International Conference on Computer Aided Verification (CAV'22) to be held in Haifa, Israel, in August 7-10, 2022. ====================================================================== From Spot 2.0 to Spot 2.10: What's New? Alexandre Duret-Lutz¹ Étienne Renault¹ Maximilien Colange² Florian Renkin¹ Alexandre Gbaguidi Aisse² Philipp Schlehuber-Caissier¹ Thomas Medioni² Antoine Martin¹ Jérôme Dubois¹ Clément Gillard² Henrich Lauko² ¹LRDE, EPITA, France ²previously at LRDE Spot is a C++17 library for LTL and ω-automata manipulation, with command-line utilities, and Python bindings. This paper summarizes its evolution over the past six years, since the release of Spot 2.0, which was the first version to support ω-automata with arbitrary acceptance conditions, and the last version presented at a conference. Since then, Spot has been extended with several features such as acceptance transformations, alternating automata, games, LTL synthesis, and more. We also shed some lights on the data-structure used to store automata. https://www.lrde.epita.fr/wiki/Publications/duret.22.cav ======================================================================