Efficient processing of simple temporal networks with uncertainty: algorithms for dynamic controllability verification

Mikael Nilsson, Jonas Kvarnström, Patrick Doherty. Efficient processing of simple temporal networks with uncertainty: algorithms for dynamic controllability verification. Acta Informatica, 53(6-8):723-752, 2016. [doi]

Abstract

Abstract is missing.