Search Results for author:
Found 8 papers, 1 papers with code
Data-Driven Goal Recognition in Transhumeral Prostheses Using Process Mining Techniques
A transhumeral prosthesis restores missing anatomical segments below the shoulder, including the hand.
Flexible FOND Planning with Explicit Fairness Assumptions
The infinite trajectories that violate this condition are deemed as unfair, and the solutions are policies for which all the fair trajectories reach a goal state.
Multi-tier Automated Planning for Adaptive Behavior (Extended Version)
A planning domain, as any model, is never complete and inevitably makes assumptions on the environment's dynamic.
Situation Calculus for Synthesis of Manufacturing Controllers
Manufacturing is transitioning from a mass production model to a manufacturing as a service model in which manufacturing facilities 'bid' to produce products.
Phase transition in the knapsack problem
We examine the phase transition phenomenon for the Knapsack problem from both a computational and a human perspective.
Addendum to: Summary Information for Reasoning About Hierarchical Plans
Hierarchically structured agent plans are important for efficient planning and acting, and they also serve (among other things) to produce "richer" classical plans, composed not just of a sequence of primitive actions, but also "abstract" ones representing the supplied hierarchies.
Path planning with Inventory-driven Jump-Point-Search
In many navigational domains the traversability of cells is conditioned on the path taken.
Supervisory Control for Behavior Composition
We relate behavior composition, a synthesis task studied in AI, to supervisory control theory from the discrete event systems field.
