Mikael Nilsson

Publikationer

2018

Mikael Nilsson, Jonas Kvarnström, Patrick Doherty (2018) Planning with Temporal Uncertainty, Resources and Non-Linear Control Parameters Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling (ICAPS), s. 180-189

2016

Mikael Nilsson, Jonas Kvarnström, Patrick Doherty (2016) Efficient Processing of Simple Temporal Networks with Uncertainty: Algorithms for Dynamic Controllability Verification Acta Informatica, Vol. 53, s. 723-752 Vidare till DOI

2015

Mikael Nilsson, Jonas Kvarnström, Patrick Doherty (2015) Revisiting Classical Dynamic Controllability: A Tighter Complexity Analysis Agents and Artificial Intelligence: 6th International Conference, ICAART 2014, Angers, France, March 6–8, 2014, Revised Selected Papers, s. 243-261 Vidare till DOI
Mikael Nilsson (2015) Efficient Temporal Reasoning with Uncertainty

2014

Mikael Nilsson, Jonas Kvarnström, Patrick Doherty (2014) Incremental Dynamic Controllability in Cubic Worst-Case Time Proceedings of the 21st International Symposium on Temporal Representation and Reasoning (TIME), s. 17-26 Vidare till DOI

Forskning

Om avdelningen

Kollegor vid AIICS

Om institutionen