Dynamic Consistency of Conditional Simple Temporal Networks via Mean Payoff Games: A Singly-Exponential Time DC-checking

Conditional Simple Temporal Network (CSTN) is a constraint-based graph-formalism for conditional temporal planning. It offers a more flexible formalism than the equivalent CSTP model of Tsamardinos, Vidal and Pollack, from which it was derived mainly as a sound formalization. Three notions of consis...

Full description

Bibliographic Details

Published in:	Proceedings - International Workshop on Temporal Representation and Reasoning pp. 19 - 28
Main Authors:	Comin, Carlo, Rizzi, Romeo
Format:	Conference Proceeding
Language:	English
Published:	IEEE 04.01.2016
Subjects:	Algorithm design and analysis Computational modeling Conditional Simple Temporal Networks Dynamic Consistency Games Heuristic algorithms Hyper Temporal Networks Mean Payoff Games Planning Reaction Time Analysis Singly-Exponential Time Terminology Timing
ISSN:	1530-1311
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!