Published August 4, 2020 | Version 1.0
Dataset Open

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

Authors/Creators

  • 1. Technische Universität München

Description

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.

Notes

This work is (partly) supported by the German Research Foundation (DFG) project "Verified Model Checkers" (317422601) and (partly) funded by the European Research Council (ERC) under the European Union's Horizon 2020 research and innovation programme under grant agreement No 787367 (PaVeS).

Files

a_unified_translation_of_linear_temporal_logic_to_omega_automata_supplemental_material_for_the_experimental_evaluation.zip

Files (9.9 MB)

Additional details

Funding

European Commission
PaVeS - Parametrized Verification and Synthesis 787367