SMT-Based Repair of Disjunctive Temporal Networks with Uncertainty: Strong and Weak Controllability

Ajdin Sumic, Alessandro Cimatti, Andrea Micheli, Thierry Vidal

Abstract: Temporal Networks with Uncertainty are a powerful and widely used formalism for representing and reasoning over temporal constraints in the presence of uncertainty. Since their introduction, they have been used in planning and scheduling applications to model situations where some activity durations or event timings are not under the control of the scheduling agent. Moreover, a wide variety of classes of temporal networks (depending on the types of constraints) have been defined, and many algorithms for dealing with these emerged.