A Unified Translation of Linear Temporal Logic to ω-Automata: Supplemental Material for the Experimental Evaluation

This dataset contains the evaluated tools and the data on which the experimental evaluation section of the article "A Unified Translation of Linear Temporal Logic to ω-Automata" by Javier Esparza, Jan Křetínský, and Salomon Sickert is based on. Further, we include instructions on how to recreate the results.