LTL Store: Repository of LTL formulae from literature and case studies
published by Jan K\\v{r}et\\'insk\\'y
in 2018
in Informatics Engineering
and research's language is
English
Download
Abstract in English
This continuously extended technical report collects and compares commonly used formulae from the literature and provides them in a machine readable way.