Dynamic Controllability of Conditional Simple Temporal Networks is PSPACE-complete

Massimo Cairo, Romeo Rizzi

Even after the proposal of various solution algorithms, the precise computational complexity of checking whether a Conditional Temporal Network is Dynamically Controllable had stil…