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.
提供机构：
Zenodo创建时间：
2020-08-04
