加载中…
2018-06-29
LTL Store: Repository of LTL formulae from literature and case studies
Jan KřetínskýTobias MeggendorferSalomon Sickert
文献摘要
This continuously extended technical report collects and compares commonly used formulae from the literature and provides them in a machine readable way.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本