Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies

Open in new window