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]

Authors

Mikael Nilsson

This author has not been identified. Look up 'Mikael Nilsson' in Google

Jonas Kvarnström

This author has not been identified. Look up 'Jonas Kvarnström' in Google

Patrick Doherty

This author has not been identified. Look up 'Patrick Doherty' in Google