An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty.

Carlo Combi, Luke Hunsberger, Roberto Posenato

Browse the full ICAART paper archive.