In this extended abstract, we discuss about Linear Temporal Logic Modulo Theories over finite traces (LTLMTf ), a temporal logic that we recently introduced with the goal of providing an equilibrium between generality of the formalism and decidability of the logic. After recalling its distinguishing features, we discuss some future applications. 2012 ACM Subject Classification Theory of computation → Logic and verification
Torwards Infinite-State Verification and Planning with Linear Temporal Logic Modulo Theories
Geatti L.
;
2023-01-01
Abstract
In this extended abstract, we discuss about Linear Temporal Logic Modulo Theories over finite traces (LTLMTf ), a temporal logic that we recently introduced with the goal of providing an equilibrium between generality of the formalism and decidability of the logic. After recalling its distinguishing features, we discuss some future applications. 2012 ACM Subject Classification Theory of computation → Logic and verificationFile in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
LIPIcs.TIME.2023.21.pdf
accesso aperto
Tipologia:
Versione Editoriale (PDF)
Licenza:
Creative commons
Dimensione
432.45 kB
Formato
Adobe PDF
|
432.45 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
