Nilsson, Mikael, Jonas Kvarnström, and Patrick Doherty. 2014. “EfficientIDC: A Faster Incremental Dynamic Controllability Algorithm”. Proceedings of the International Conference on Automated Planning and Scheduling 24 (1):199-207. https://doi.org/10.1609/icaps.v24i1.13646.