Dynamic controllability via timed game automata (Q329422): Difference between revisions

@@ Property / cites work @@
+CTP: A new constraint-based formalism for conditional, temporal planning
+Normal rank
@@ Property / cites work @@
+Maintaining knowledge about temporal intervals
@@ Property / cites work: Maintaining knowledge about temporal intervals / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Flexible Plan Verification: Feasibility Results
@@ Property / cites work: Flexible Plan Verification: Feasibility Results / rank @@
+Normal rank
@@ Property / cites work @@
+Solving strong controllability of temporal problems with uncertainty using SMT
+Normal rank
@@ Property / cites work @@
+Temporal constraint networks
@@ Property / cites work: Temporal constraint networks / rank @@
+Normal rank
@@ Property / cites work @@
+Hyper temporal networks. A tractable generalization of simple temporal networks and its relation to mean payoff games
+Normal rank
@@ Property / cites work @@
+Q3624044
@@ Property / cites work: Q3624044 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5528627
@@ Property / cites work: Q5528627 / rank @@
+Normal rank
@@ Property / cites work @@
+Handling contingency in temporal constraint networks: from consistency to controllabilities
+Normal rank
@@ Property / cites work @@
+On the synthesis of discrete controllers for timed systems
+Normal rank
@@ Property / cites work @@
+Dynamic Controllability and Dispatchability Relationships
+Normal rank
@@ Property / cites work @@
+Strong Controllability of Disjunctive Temporal Problems with Uncertainty
+Normal rank
@@ Property / cites work @@
+Efficient solution techniques for disjunctive temporal reasoning problems
+Normal rank