Sound-and-Complete Algorithms for Checking the Dynamic Controllability of Conditional Simple Temporal Networks with Uncertainty.

Luke Hunsberger, Roberto Posenato

Browse the full TIME paper archive.