Controllability characterization and checking in Contingent Temporal Constraint Networks.

Thierry Vidal

Browse the full KR paper archive.