TY  - RPRT
TI  - Checking Dynamic Consistency of Conditional Hyper Temporal Networks via Mean Payoff Games (Hardness and (pseudo) Singly-Exponential Time Algorithm)
AU  - Carlo Comin
AU  - Romeo Rizzi
PY  - 2017
UR  - https://arxiv.org/abs/1602.06260
ID  - 1602.06260
ER  -