Dynamic Consistency of Conditional Simple Temporal Networks via Mean Payoff Games: A Singly-Exponential Time DC-checking.

Carlo Comin, Romeo Rizzi

Browse the full TIME paper archive.