Empirical Analysis of Decremental Temporal Reasoning Algorithms

Efficient reasoning about time is crucial for robot operation, planning, and many other applications. A widespread representation used for reasoning about time is the so-called Simple Temporal Network (STN). Students at TU Delft previously developed and implemented algorithms for performing incremental reasoning over STNs. These algorithms...