Dynamic Controllability of Conditional Simple Temporal Networks Is PSPACE-complete.

Massimo Cairo, Romeo Rizzi

Browse the full TIME paper archive.