research
∙
08/17/2022
Autonomous Passage Planning for a Polar Vessel
We introduce a method for long-distance maritime route planning in polar...
share
research
∙
06/20/2022
Understanding a Robot's Guiding Ethical Principles via Automatically Generated Explanations
The continued development of robots has enabled their wider usage in hum...
research
∙
11/23/2021
Non-invasive hemodynamic analysis for aortic regurgitation using computational fluid dynamics and deep learning
Changes in cardiovascular hemodynamics are closely related to the develo...
research
∙
10/30/2021
Long-Range Route-planning for Autonomous Vehicles in the Polar Oceans
There is an increasing demand for piloted autonomous underwater vehicles...
research
∙
06/15/2021
Improving Search by Utilizing State Information in OPTIC Planners Compilation to LP
Automated planners are computer tools that allow autonomous agents to ma...
research
∙
05/21/2021
Efficient Temporal Piecewise-Linear Numeric Planning with Lazy Consistency Checking
State-of-the-art temporal planners that support continuous numeric effec...
research
∙
04/29/2021
D-VAL: An automatic functional equivalence validation tool for planning domain models
In this paper, we introduce an approach to validate the functional equiv...
research
∙
03/29/2021
Contrastive Explanations of Plans Through Model Restrictions
In automated planning, the need for explanations arises when there is a ...
research
∙
06/22/2020
Towards Contrastive Explanations for Comparing the Ethics of Plans
The development of robotics and AI agents has enabled their wider usage ...
research
∙
09/29/2017
Explainable Planning
As AI is increasingly being adopted into application solutions, the chal...
research
∙
02/04/2014
A Hybrid LP-RPG Heuristic for Modelling Numeric Resource Flows in Planning
Although the use of metric fluents is fundamental to many practical plan...
research
∙
01/23/2014
Plan-based Policies for Efficient Multiple Battery Load Management
Efficient use of multiple batteries is a practical problem with wide and...
research
∙
01/23/2014