Carlo Comin, Romeo Rizzi. Checking dynamic consistency of conditional hyper temporal networks via mean payoff games: Hardness and (pseudo) singly-exponential time algorithm. Inf. Comput., 259(Part):348-374, 2018. [doi]
@article{CominR18,
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 = {2018},
doi = {10.1016/j.ic.2017.08.008},
url = {https://doi.org/10.1016/j.ic.2017.08.008},
researchr = {https://researchr.org/publication/CominR18},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {259},
number = {Part},
pages = {348-374},
}