Picture for Matthias Althoff

Matthias Althoff

Intelligent Sailing Model for Open Sea Navigation

Add code
Jan 09, 2025
Viaarxiv icon

Holistic Construction Automation with Modular Robots: From High-Level Task Specification to Execution

Add code
Dec 30, 2024
Figure 1 for Holistic Construction Automation with Modular Robots: From High-Level Task Specification to Execution
Figure 2 for Holistic Construction Automation with Modular Robots: From High-Level Task Specification to Execution
Figure 3 for Holistic Construction Automation with Modular Robots: From High-Level Task Specification to Execution
Figure 4 for Holistic Construction Automation with Modular Robots: From High-Level Task Specification to Execution
Viaarxiv icon

Traffic-Rule-Compliant Trajectory Repair via Satisfiability Modulo Theories and Reachability Analysis

Add code
Dec 20, 2024
Viaarxiv icon

A General Safety Framework for Autonomous Manipulation in Human Environments

Add code
Dec 13, 2024
Viaarxiv icon

Results of the 2023 CommonRoad Motion Planning Competition for Autonomous Vehicles

Add code
Nov 10, 2024
Figure 1 for Results of the 2023 CommonRoad Motion Planning Competition for Autonomous Vehicles
Figure 2 for Results of the 2023 CommonRoad Motion Planning Competition for Autonomous Vehicles
Figure 3 for Results of the 2023 CommonRoad Motion Planning Competition for Autonomous Vehicles
Figure 4 for Results of the 2023 CommonRoad Motion Planning Competition for Autonomous Vehicles
Viaarxiv icon

Stepping Out of the Shadows: Reinforcement Learning in Shadow Mode

Add code
Oct 30, 2024
Viaarxiv icon

Efficiently Obtaining Reachset Conformance for the Formal Analysis of Robotic Contact Tasks

Add code
Oct 14, 2024
Viaarxiv icon

Training Verifiably Robust Agents Using Set-Based Reinforcement Learning

Add code
Aug 17, 2024
Figure 1 for Training Verifiably Robust Agents Using Set-Based Reinforcement Learning
Figure 2 for Training Verifiably Robust Agents Using Set-Based Reinforcement Learning
Figure 3 for Training Verifiably Robust Agents Using Set-Based Reinforcement Learning
Figure 4 for Training Verifiably Robust Agents Using Set-Based Reinforcement Learning
Viaarxiv icon

Text2Interaction: Establishing Safe and Preferable Human-Robot Interaction

Add code
Aug 12, 2024
Viaarxiv icon

Reachset-Conformant System Identification

Add code
Jul 16, 2024
Viaarxiv icon