Path Checking for MTL and TPTL over Data Words (Q3451113)
From MaRDI portal
scientific article; zbMATH DE number 6790156
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Path Checking for MTL and TPTL over Data Words |
scientific article; zbMATH DE number 6790156 |
Statements
Path Checking for MTL and TPTL over Data Words (English)
0 references
10 November 2015
0 references
12 October 2017
0 references
metric temporal logic
0 references
times propositional temporal logic
0 references
freeze LTL
0 references
path checking problem
0 references
deterministic one-counter machines
0 references
data words
0 references
