Picture for Gerhard Lakemeyer

Gerhard Lakemeyer

A ROS~2-based Navigation and Simulation Stack for the Robotino

Add code
Nov 14, 2024
Viaarxiv icon

Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories

Add code
Feb 05, 2024
Viaarxiv icon

Extracting Rules from Event Data for Study Planning

Add code
Oct 04, 2023
Viaarxiv icon

Multi-Valued Partial Order Plans in Numeric Planning

Add code
Jul 27, 2023
Viaarxiv icon

Digital Shadows of Safety for Human Robot Collaboration in the World-Wide Lab

Add code
Apr 04, 2023
Figure 1 for Digital Shadows of Safety for Human Robot Collaboration in the World-Wide Lab
Viaarxiv icon

Assistive Robot Teleoperation Using Behavior Trees

Add code
Mar 19, 2023
Viaarxiv icon

A Combined Approach of Process Mining and Rule-based AI for Study Planning and Monitoring in Higher Education

Add code
Nov 22, 2022
Viaarxiv icon

Predictive Object-Centric Process Monitoring

Add code
Jul 20, 2022
Figure 1 for Predictive Object-Centric Process Monitoring
Figure 2 for Predictive Object-Centric Process Monitoring
Figure 3 for Predictive Object-Centric Process Monitoring
Figure 4 for Predictive Object-Centric Process Monitoring
Viaarxiv icon

Towards Using Promises for Multi-Agent Cooperation in Goal Reasoning

Add code
Jun 20, 2022
Figure 1 for Towards Using Promises for Multi-Agent Cooperation in Goal Reasoning
Figure 2 for Towards Using Promises for Multi-Agent Cooperation in Goal Reasoning
Figure 3 for Towards Using Promises for Multi-Agent Cooperation in Goal Reasoning
Viaarxiv icon

On the Verification of Belief Programs

Add code
May 03, 2022
Figure 1 for On the Verification of Belief Programs
Figure 2 for On the Verification of Belief Programs
Figure 3 for On the Verification of Belief Programs
Figure 4 for On the Verification of Belief Programs
Viaarxiv icon