Dynamic Consistency of Conditional Simple Temporal Networks via Mean Payoff Games: a Singly-Exponential Time DC-Checking.

Carlo Comin Romeo Rizzi

Published in: CoRR (2015)

Keyphrases

simple temporal
game theory
temporal constraints
consistency checking
nash equilibrium
dynamic environments
nash equilibria
relational databases
video games
game theoretic
orders of magnitude
network structure