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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings - International Workshop on Temporal Representation and Reasoning S. 19 - 28
Hauptverfasser:	Comin, Carlo, Rizzi, Romeo
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 04.01.2016
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!