Owl: A Library for ω-Words, Automata, and LTL.

Jan Kretnsk, Tobias Meggendorfer, Salomon Sickert

Browse the full ATVA paper archive.