Massimo Cairo, Luke Hunsberger, Romeo Rizzi: Faster Dynamic Controllability Checking for Simple Temporal Networks with Uncertainty. TIME 2018: 8:1-8:16