Spot 2.0 — A Framework for LTL and \omega -Automata Manipulation
['Alexandre Duret-Lutz', 'Alexandre Lewkowicz', 'Amaury Fauchille', 'Thibaud Michaud', 'Etienne Renault', 'Laurent Xu']
Spot 2.0 — A Framework for LTL and \omega -Automata Manipulation