TY  - RPRT
TI  - Instantaneous Reaction-Time in Dynamic-Consistency Checking of Conditional Simple Temporal Networks -- Extended version with an Improved Upper Bound --
AU  - Massimo Cairo
AU  - Carlo Comin
AU  - Romeo Rizzi
PY  - 2018
UR  - https://arxiv.org/abs/1608.04132
ID  - 1608.04132
ER  -