Spot 2.0 - A Framework for LTL and \omega -Automata Manipulation.

Alexandre Duret-Lutz, Alexandre Lewkowicz, Amaury Fauchille, Thibaud Michaud, Etienne Renault, Laurent Xu

Browse the full ATVA paper archive.