5 citations · 13 across the 12 of their papers we have counts for
Showing 2016 · cs.DSShow all
2 papers · 2 filters
cs.DS2016
Dynamic Controllability of Conditional Simple Temporal Networks is PSPACE-complete
Massimo Cairo, Romeo Rizzi
Even after the proposal of various solution algorithms, the precise computational complexity of checking whether a Conditional Temporal Network is Dynamically Controllable had stil…
cs.DS2016★ 4 cited
Instantaneous Reaction-Time in Dynamic-Consistency Checking of Conditional Simple Temporal Networks -- Extended version with an Improved Upper Bound --
Massimo Cairo, Carlo Comin, Romeo Rizzi
CSTNs is a constraint-based graph-formalism for conditional temporal planning. In order to address the DC-Checking problem, in [Comin and Rizzi, TIME 2015] we introduced epsilon-DC…