Path Checking for MTL and TPTL over Data Words (Q3451113): Difference between revisions

← Older edit

@@ description / en / description / en @@
+scientific article; zbMATH DE number 6790156
@@ Property / zbMATH Open document ID @@
+.68118
@@ Property / zbMATH Open document ID: 1459.68118 / rank @@
+Normal rank
@@ Property / DOI @@
+.23638/LMCS-13(3:19)2017
@@ Property / DOI: 10.23638/LMCS-13(3:19)2017 / rank @@
+Normal rank
@@ Property / publication date @@
+October 2017Timestamp +2017-10-12T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2017-10-12T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 12 October 2017 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6790156
@@ Property / zbMATH DE Number: 6790156 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+metric temporal logic
@@ Property / zbMATH Keywords: metric temporal logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+times propositional temporal logic
@@ Property / zbMATH Keywords: times propositional temporal logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+freeze LTL
@@ Property / zbMATH Keywords: freeze LTL / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+path checking problem
@@ Property / zbMATH Keywords: path checking problem / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+deterministic one-counter machines
@@ Property / zbMATH Keywords: deterministic one-counter machines / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+data words
@@ Property / zbMATH Keywords: data words / rank @@
+Normal rank