Checking dynamic consistency of conditional hyper temporal networks via mean payoff games: Hardness and (pseudo) singly-exponential time algorithm

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.