Home  | Tags | #p_althoff

#p_althoff

OKA25

Automatic Geometric Decomposition for Analytical Inverse Kinematics

IEEE Robotics and Automation Letters 10.10. Oct. 2025

#p_althoff

LIA25

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis

Preprint (Oct. 2025)

#p_althoff

MFK+25

Falsification-Driven Reinforcement Learning for Maritime Motion Planning

Preprint (Oct. 2025)

#p_althoff

WMK+25

Leveraging Analytic Gradients in Provably Safe Reinforcement Learning

IEEE Open Journal of Control Systems Early Access. Sep. 2025

#p_althoff

KHA25

A Design Co-Pilot for Task-Tailored Manipulators

Preprint (Sep. 2025)

#p_althoff

LEK+25

Zono-Conformal Prediction: Zonotope-Based Uncertainty Quantification for Regression and Classification Tasks

Preprint (Aug. 2025)

#p_althoff

KTM+25

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

IEEE Transactions on Automation Science and Engineering Early Access. Jun. 2025

#p_althoff

SKT+24

Excluding the Irrelevant: Focusing Reinforcement Learning Through Continuous Action Masking

NeurIPS 2024

#p_althoff

GA24

Stepping Out of the Shadows: Reinforcement Learning in Shadow Mode

Preprint (Oct. 2024)

#p_althoff

Kra24

Guaranteeing Complex Safety Specifications for Autonomous Vehicles via Reinforcement Learning With Formal Methods

Dissertation TU München. Jul. 2024

#p_althoff

KA24

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

IEEE Transactions on Intelligent Vehicles Early Access. May. 2024

#p_althoff

KMA23

Timor Python: A Toolbox for Industrial Modular Robotics

IROS 2023

#p_althoff

LA23

Automatic Abstraction Refinement in Neural Network Verification Using Sensitivity Analysis

HSCC 2023

#p_althoff
Back to Top