Dynamic controllability of temporal networks with instantaneous reaction (Q6205017): Difference between revisions

@@ Property / DOI @@
-.1016/j.ins.2022.08.099
@@ Property / DOI: 10.1016/j.ins.2022.08.099 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ins.2022.08.099
+Normal rank
@@ Property / OpenAlex ID @@
+W4295014556
@@ Property / OpenAlex ID: W4295014556 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal constraint networks
@@ Property / cites work: Temporal constraint networks / rank @@
+Normal rank
@@ Property / cites work @@
+Determining temporal agreements in cross-organizational business processes
+Normal rank
@@ Property / cites work @@
+Handling contingency in temporal constraint networks: from consistency to controllabilities
+Normal rank
@@ Property / cites work @@
+CTP: A new constraint-based formalism for conditional, temporal planning
+Normal rank
@@ Property / cites work @@
+Consistency checking of STNs with decisions: managing temporal and access-control constraints in a seamless way
+Normal rank
@@ Property / cites work @@
+Conditional simple temporal networks with uncertainty and decisions
+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 @@
+Conditional Simple Temporal Networks with Uncertainty and Resources
+Normal rank
@@ Property / cites work @@
+Q3112642
@@ Property / cites work: Q3112642 / rank @@
+Normal rank
@@ Property / cites work @@
+Resolving Over-Constrained Temporal Problems with Uncertainty through Conflict-Directed Relaxation
+Normal rank
@@ Property / cites work @@
+Reducing epsilon-DC Checking for Conditional Simple Temporal Networks to DC Checking
+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 @@
+On the synthesis of discrete controllers for timed systems
+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 @@
+Complexity bounds for the controllability of temporal networks with conditions, disjunctions, and uncertainty
+Normal rank
@@ Property / cites work @@
+Dynamic controllability of simple temporal networks with uncertainty: simple rules and fast real-time execution
+Normal rank
@@ Property / cites work @@
+Sound-and-Complete Algorithms for Checking the Dynamic Controllability of Conditional Simple Temporal Networks with Uncertainty.
+Normal rank
@@ Property / cites work @@
+Incorporating decision nodes into conditional simple temporal networks
+Normal rank
@@ Property / cites work @@
+Hybrid SAT-based consistency checking algorithms for simple temporal networks with decisions
+Normal rank
@@ Property / cites work @@
+A streamlined model of conditional simple temporal networks -- semantics and equivalence results
+Normal rank
@@ Property / cites work @@
+Conditional simple temporal networks with uncertainty and decisions
+Normal rank
@@ Property / DOI @@
+.1016/J.INS.2022.08.099
@@ Property / DOI: 10.1016/J.INS.2022.08.099 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6205017