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

Ajdin Sumic, Alessandro Cimatti, Andrea Micheli, Thierry Vidal

Browse the full CPAIOR paper archive.