Timeline-based planning over dense temporal domains (Q1989337): Difference between revisions

@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+The benefits of relaxing punctuality
@@ Property / cites work: The benefits of relaxing punctuality / rank @@
+Normal rank
@@ Property / cites work @@
+Real-time logics: Complexity and expressiveness
@@ Property / cites work: Real-time logics: Complexity and expressiveness / rank @@
+Normal rank
@@ Property / cites work @@
+Q3384890
@@ Property / cites work: Q3384890 / rank @@
+Normal rank
@@ Property / cites work @@
+Planning and execution with flexible timelines: a formal account
+Normal rank
@@ Property / cites work @@
+LTL with the freeze quantifier and register automata
+Normal rank
@@ Property / cites work @@
+Constraint-based attribute and interval planning
@@ Property / cites work: Constraint-based attribute and interval planning / rank @@
+Normal rank
@@ Property / cites work @@
+Q3114203
@@ Property / cites work: Q3114203 / rank @@
+Normal rank
@@ Property / cites work @@
+Graphs, networks and algorithms.
@@ Property / cites work: Graphs, networks and algorithms. / rank @@
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+On the decidability and complexity of Metric Temporal Logic over finite words
+Normal rank