Search Results for author:
Found 12 papers, 0 papers with code
Understanding a Robot's Guiding Ethical Principles via Automatically Generated Explanations
The continued development of robots has enabled their wider usage in human surroundings.
Non-invasive hemodynamic analysis for aortic regurgitation using computational fluid dynamics and deep learning
Changes in cardiovascular hemodynamics are closely related to the development of aortic regurgitation, a type of valvular heart disease.
Long-Range Route-planning for Autonomous Vehicles in the Polar Oceans
There is an increasing demand for piloted autonomous underwater vehicles (AUVs) to operate in polar ice conditions.
Improving Search by Utilizing State Information in OPTIC Planners Compilation to LP
Automated planners are computer tools that allow autonomous agents to make strategies and decisions by determining a set of actions for the agent that to take, which will carry a system from a given initial state to the desired goal state.
Efficient Temporal Piecewise-Linear Numeric Planning with Lazy Consistency Checking
Temporal planning often involves numeric effects that are directly proportional to their action's duration.
D-VAL: An automatic functional equivalence validation tool for planning domain models
This paper introduces an approach to validate the functional equivalence of planning domain models.
Contrastive Explanations of Plans Through Model Restrictions
We formally define model-based compilations in PDDL2. 1 of each constraint derived from a user question in the taxonomy, and empirically evaluate the compilations in terms of computational complexity.
Towards Contrastive Explanations for Comparing the Ethics of Plans
The development of robotics and AI agents has enabled their wider usage in human surroundings.
Explainable Planning
As AI is increasingly being adopted into application solutions, the challenge of supporting interaction with humans is becoming more apparent.
A Hybrid LP-RPG Heuristic for Modelling Numeric Resource Flows in Planning
This MIP is then combined with a metric Relaxed Planning Graph (RPG) heuristic to produce an integrated hybrid heuristic.
COLIN: Planning with Continuous Linear Numeric Change
The LP is used to compute bounds on the values of variables in each state, reducing the range of actions that need to be considered for application.
Plan-based Policies for Efficient Multiple Battery Load Management
Application of the approach leads to construction of policies that, in simulation, significantly outperform those that are currently in use and the best published solutions to the battery management problem.
