Login / Signup
Dynamic Consistency of Conditional Simple Temporal Networks via Mean Payoff Games: A Singly-Exponential Time DC-checking.
Carlo Comin
Romeo Rizzi
Published in:
TIME (2015)
Keyphrases
</>
simple temporal
game theory
nash equilibrium
temporal constraints
consistency checking
temporal reasoning
video games
linear programming
network structure
game theoretic
mixed strategy