The heterogeneity of tools that support temporal logic formulae poses several
challenges in terms of interoperability. This document proposes standard
grammars for Linear Temporal Logic (LTL) (Pnueli 1977) and Linear Dynamic Logic
(Vardi 2011; De Giacomo and Vardi 2013).
Dettaglio pubblicazione
2020, , Pages -
Standard Grammars for LTL and LDL (13b Working paper)
Favorito Marco
Gruppo di ricerca: Artificial Intelligence and Knowledge Representation
keywords