Conditional simple temporal networks with uncertainty and decisions (Q2334599): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2018.09.023
@@ Property / DOI: 10.1016/j.tcs.2018.09.023 / rank @@
-Normal rank
@@ Property / cites work @@
+Temporal constraint networks
@@ Property / cites work: Temporal constraint networks / rank @@
+Normal rank
@@ Property / cites work @@
+Q3112642
@@ Property / cites work: Q3112642 / rank @@
+Normal rank
@@ Property / cites work @@
+CTP: A new constraint-based formalism for conditional, temporal planning
+Normal rank
@@ Property / cites work @@
+On the synthesis of discrete controllers for timed systems
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic controllability via timed game automata
@@ Property / cites work: Dynamic controllability via timed game automata / rank @@
+Normal rank
@@ Property / cites work @@
+Model-checking in dense real-time
@@ Property / cites work: Model-checking in dense real-time / rank @@
+Normal rank
@@ Property / cites work @@
+Incorporating decision nodes into conditional simple temporal networks
+Normal rank
@@ Property / cites work @@
+Conditional simple temporal networks with uncertainty and decisions
+Normal rank
@@ Property / Wikidata QID @@
+Q128911684
@@ Property / Wikidata QID: Q128911684 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2018.09.023
@@ Property / DOI: 10.1016/J.TCS.2018.09.023 / rank @@
+Normal rank