@misc{indiciae6cbfea0e398e,
  title = {Checking Dynamic Consistency of Conditional Hyper Temporal Networks via Mean Payoff Games (Hardness and (pseudo) Singly-Exponential Time Algorithm)},
  author = {Carlo Comin and Romeo Rizzi},
  year = {2017},
  url = {https://arxiv.org/abs/1602.06260},
  note = {Source identifier: 1602.06260}
}