Paper Info
Title
Owl: A Library for \omega -Words, Automata, and LTL.
Abstract
We present the library Owl (Omega-Words, automata, and LTL) for (omega )-automata and linear temporal logic. It forms a backbone of several translations from LTL to automata and related tools by different authors. We describe the functionality of the library and the recent experience, which has already shown the library is apt for easy prototyping of new tools in this area.
Year
Venue
Field
2018
ATVA
Computer science,Automaton,Theoretical computer science,Linear temporal logic,Omega
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
25
3
Name
Order
Citations
PageRank
Jan Kretínský115916.02
Tobias Meggendorfer2153.90
Salomon Sickert3348.01