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

Alessandro Cimatti, Andrea Micheli, Marco Roveri

Browse the full AAAI paper archive.