Mikael Nilsson, Jonas Kvarnström, Patrick Doherty. Revisiting Classical Dynamic Controllability: A Tighter Complexity Analysis. In Béatrice Duval, H. Jaap van den Herik, Stéphane Loiseau, Joaquim Filipe, editors, Agents and Artificial Intelligence - 6th International Conference, ICAART 2014, Angers, France, March 6-8, 2014, Revised Selected Papers. Volume 8946 of Lecture Notes in Computer Science, pages 243-261, Springer, 2014. [doi]
Abstract is missing.