Picture for Matthias Althoff

Matthias Althoff

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
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

Excluding the Irrelevant: Focusing Reinforcement Learning through Continuous Action Masking

Add code
Jun 06, 2024
Viaarxiv icon

CommonPower: Supercharging Machine Learning for Smart Grids

Add code
Jun 05, 2024
Viaarxiv icon

Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure

Add code
Apr 23, 2024
Viaarxiv icon

DrPlanner: Diagnosis and Repair of Motion Planners Using Large Language Models

Add code
Mar 12, 2024
Viaarxiv icon

Provable Traffic Rule Compliance in Safe Reinforcement Learning on the Open Sea

Add code
Feb 13, 2024
Viaarxiv icon