Login / Signup

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

Carlo CominRomeo Rizzi
Published in: Inf. Comput. (2018)
Keyphrases