TY  - RPRT
TI  - Dynamic Consistency of Conditional Simple Temporal Networks via Mean Payoff Games: a Singly-Exponential Time DC-Checking
AU  - Carlo Comin
AU  - Romeo Rizzi
PY  - 2015
UR  - https://arxiv.org/abs/1505.00828
ID  - 1505.00828
ER  -