Picture for Sebastian Sardina

Sebastian Sardina

Data-Driven Goal Recognition in Transhumeral Prostheses Using Process Mining Techniques

Sep 15, 2023
Figure 1 for Data-Driven Goal Recognition in Transhumeral Prostheses Using Process Mining Techniques
Figure 2 for Data-Driven Goal Recognition in Transhumeral Prostheses Using Process Mining Techniques
Figure 3 for Data-Driven Goal Recognition in Transhumeral Prostheses Using Process Mining Techniques
Figure 4 for Data-Driven Goal Recognition in Transhumeral Prostheses Using Process Mining Techniques
Viaarxiv icon

Flexible FOND Planning with Explicit Fairness Assumptions

Add code
Mar 15, 2021
Figure 1 for Flexible FOND Planning with Explicit Fairness Assumptions
Figure 2 for Flexible FOND Planning with Explicit Fairness Assumptions
Figure 3 for Flexible FOND Planning with Explicit Fairness Assumptions
Figure 4 for Flexible FOND Planning with Explicit Fairness Assumptions
Viaarxiv icon

Multi-tier Automated Planning for Adaptive Behavior (Extended Version)

Add code
Feb 27, 2020
Viaarxiv icon

Situation Calculus for Synthesis of Manufacturing Controllers

Jul 12, 2018
Figure 1 for Situation Calculus for Synthesis of Manufacturing Controllers
Viaarxiv icon

Phase transition in the knapsack problem

Jun 26, 2018
Figure 1 for Phase transition in the knapsack problem
Figure 2 for Phase transition in the knapsack problem
Figure 3 for Phase transition in the knapsack problem
Viaarxiv icon

Addendum to: Summary Information for Reasoning About Hierarchical Plans

Aug 09, 2017
Figure 1 for Addendum to: Summary Information for Reasoning About Hierarchical Plans
Viaarxiv icon

Path planning with Inventory-driven Jump-Point-Search

Jul 04, 2016
Figure 1 for Path planning with Inventory-driven Jump-Point-Search
Figure 2 for Path planning with Inventory-driven Jump-Point-Search
Figure 3 for Path planning with Inventory-driven Jump-Point-Search
Viaarxiv icon

Supervisory Control for Behavior Composition

Apr 29, 2016
Figure 1 for Supervisory Control for Behavior Composition
Figure 2 for Supervisory Control for Behavior Composition
Figure 3 for Supervisory Control for Behavior Composition
Figure 4 for Supervisory Control for Behavior Composition
Viaarxiv icon

Reasoning about Agent Programs using ATL-like Logics

Jul 17, 2012
Figure 1 for Reasoning about Agent Programs using ATL-like Logics
Viaarxiv icon

Qualitative Approximate Behavior Composition

Jul 17, 2012
Figure 1 for Qualitative Approximate Behavior Composition
Viaarxiv icon