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

@@ Property / DOI @@
-.1007/s00236-016-0257-2
@@ Property / DOI: 10.1007/s00236-016-0257-2 / rank @@
-Normal rank
@@ Property / Wikidata QID @@
+Q62041085
@@ Property / Wikidata QID: Q62041085 / rank @@
+Normal rank
@@ 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
@@ Property / DBLP publication ID @@
+journals/acta/CimattiHMPR16
@@ Property / DBLP publication ID: journals/acta/CimattiHMPR16 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00236-016-0257-2
@@ Property / DOI: 10.1007/S00236-016-0257-2 / rank @@
+Normal rank