Matthias Althoff

収録論文 44本 ・ フィジカルAI/ロボット学習

※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。

論文

• RAM: Reachability Across Morphologies
  2026/6/1
• Vision-Based Safe Human-Robot Collaboration with Uncertainty Guarantees
  2026/4/1
• Lexicographic Minimum-Violation Motion Planning using Signal Temporal Logic
  2026/4/1
• Perception with Guarantees: Certified Pose Estimation via Reachability Analysis
  2026/2/1
• Results of the 2024 CommonRoad Motion Planning Competition for Autonomous Vehicles
  2025/12/1
• From Demonstrations to Safe Deployment: Path-Consistent Safety Filtering for Diffusion Policies
  2025/11/1
• SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis
  2025/10/1
• A Design Co-Pilot for Task-Tailored Manipulators
  2025/9/1
• Leveraging Analytic Gradients in Provably Safe Reinforcement Learning
  2025/6/1
• Holistic Optimization of Modular Robots
  2025/5/1
• Smart placement, faster robots-a comparison of algorithms for robot base-pose optimization
  2025/4/1
• Trajectory Planning with Signal Temporal Logic Costs using Deterministic Path Integral Optimization
  2025/3/1
• Predictive Traffic Rule Compliance using Reinforcement Learning
  2025/3/1
• Intelligent Sailing Model for Open Sea Navigation
  2025/1/1
• Holistic Construction Automation with Modular Robots: From High-Level Task Specification to Execution
  2024/12/1
• Traffic-Rule-Compliant Trajectory Repair via Satisfiability Modulo Theories and Reachability Analysis
  2024/12/1
• A General Safety Framework for Autonomous Manipulation in Human Environments
  2024/12/1
• Results of the 2023 CommonRoad Motion Planning Competition for Autonomous Vehicles
  2024/11/1
• Efficiently Obtaining Reachset Conformance for the Formal Analysis of Robotic Contact Tasks
  2024/10/1
• Automatic Geometric Decomposition for Analytical Inverse Kinematics
  2024/9/1
• Training Verifiably Robust Agents Using Set-Based Reinforcement Learning
  2024/8/1
• Text2Interaction: Establishing Safe and Preferable Human-Robot Interaction
  2024/8/1
• Reachset-Conformant System Identification
  2024/7/1
• DrPlanner: Diagnosis and Repair of Motion Planners for Automated Vehicles Using Large Language Models
  2024/3/1
• Human-Robot Gym: Benchmarking Reinforcement Learning in Human-Robot Collaboration
  2023/10/1
• EDGAR: An Autonomous Driving Research Platform -- From Feature Development to Real-World Application
  2023/9/1
• Reachability Analysis of ARMAX Models
  2023/9/1
• Optimizing Modular Robot Composition: A Lexicographic Genetic Algorithm Approach
  2023/9/1
• Formal Verification of Robotic Contact Tasks via Reachability Analysis
  2023/7/1
• Automatic Traffic Scenario Conversion from OpenSCENARIO to CommonRoad
  2023/5/1
• Reducing Safety Interventions in Provably Safe Reinforcement Learning
  2023/3/1
• Deep Occupancy-Predictive Representations for Autonomous Driving
  2023/3/1
• Safe Reinforcement Learning with Probabilistic Guarantees Satisfying Temporal Logic Specifications in Continuous Action Spaces
  2022/12/1
• Provably Safe Reinforcement Learning via Action Projection using Reachability Analysis and Polynomial Zonotopes
  2022/10/1
• Timor Python: A Toolbox for Industrial Modular Robotics
  2022/9/1
• Model Predictive Robustness of Signal Temporal Logic Predicates
  2022/9/1
• Provably Safe Deep Reinforcement Learning for Robotic Manipulation in Human Environments
  2022/5/1
• CoBRA: A Composable Benchmark for Robotics Applications
  2022/3/1
• Guarantees for Real Robotic Systems: Unifying Formal Controller Synthesis and Reachset-Conformant Identification
  2021/3/1
• Privacy Preserving Set-Based Estimation Using Partially Homomorphic Encryption
  2020/10/1
• Falsification-Based Robust Adversarial Reinforcement Learning
  2020/7/1
• Pedestrian Models for Autonomous Driving Part II: High-Level Models of Human Behavior
  2020/3/1
• Pedestrian Models for Autonomous Driving Part I: Low-Level Models, from Sensing to Tracking
  2020/2/1
• Event-Triggered Diffusion Kalman Filters
  2017/11/1