Mikael Nilsson
PhD student
Publications
2018
Planning with Temporal Uncertainty, Resources and Non-Linear Control Parameters
Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling (ICAPS), p. 180-189
(Conference paper)
2016
Efficient Processing of Simple Temporal Networks with Uncertainty: Algorithms for Dynamic Controllability Verification
Acta Informatica, Vol. 53, p. 723-752
(Article in journal)
https://dx.doi.org/10.1007/s00236-015-0248-8
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, p. 243-261
(Conference paper)
https://dx.doi.org/10.1007/978-3-319-25210-0_15
Efficient Temporal Reasoning with Uncertainty
(Licentiate thesis, monograph)
https://dx.doi.org/10.3384/lic.diva-119409
2014
Incremental Dynamic Controllability in Cubic Worst-Case Time
Proceedings of the 21st International Symposium on Temporal Representation and Reasoning (TIME), p. 17-26
(Conference paper)
https://dx.doi.org/10.1109/TIME.2014.13
