Checking dynamic consistency of conditional hyper temporal networks via mean payoff games: Hardness and (pseudo) singly-exponential time algorithm
Under an Elsevier user license
open archive
Keywords
Conditional temporal networks
Dynamic consistency
Mean payoff games
Simple temporal networks
Hyper temporal networks
Singly-exponential time
Reaction time
Cited by (0)
© 2017 Elsevier Inc.