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.
@inprocedings{duret-lutz.22.cav,
abstract = {Spot is a C++17 library for LTL and $\omega$-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 $\omega$-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.},
author = {Alexandre Duret-Lutz and Etienne Renault and Maximilien Colange and Florian Renkin and Alexandre Gbaguidi Aisse and Philipp Schlehuber-Caissier and Thomas Medioni and Antoine Martin and Jérôme Dubois and Clément Gillard and Henrich Lauko},
booktitle = {Proceedings of the 34th International Conference on Computer Aided Verification (CAV'22)},
doi = {10.1007/978-3-031-13188-2_9},
month = {aug},
pages = {174--187},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {From {S}pot 2.0 to {S}pot 2.10: What's New?},
url = {https://link.springer.com/chapter/10.1007/978-3-031-13188-2_9},
volume = {13372},
year = {2022}}
