Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales

Terms and Conditions

Twitter GitHub LinkedIn Bluesky Youtube

© 2026 ResearchTrend.AI, All rights reserved.

Home
Papers
2103.01626
Cited By

Guarantees for Real Robotic Systems: Unifying Formal Controller
Synthesis and Reachset-Conformant Identification

v1v2 (latest)

Guarantees for Real Robotic Systems: Unifying Formal Controller Synthesis and Reachset-Conformant Identification

IEEE Transactions on robotics (TRO), 2021

2 March 2021

Matthias Althoff

ArXiv (abs)PDF HTML

Papers citing "Guarantees for Real Robotic Systems: Unifying Formal Controller Synthesis and Reachset-Conformant Identification"

5 / 5 papers shown

From Demonstrations to Safe Deployment: Path-Consistent Safety Filtering for Diffusion Policies

From Demonstrations to Safe Deployment: Path-Consistent Safety Filtering for Diffusion Policies

Julian Balletshofer

Angela P. Schoellig

Matthias Althoff

154

0

0

09 Nov 2025

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

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

Michael Eichelbeck

Mykel J. Kochenderfer

Matthias Althoff

144

0

0

14 Aug 2025

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

Efficiently Obtaining Reachset Conformance for the Formal Analysis of Robotic Contact TasksIEEE/RJS International Conference on Intelligent RObots and Systems (IROS), 2024

Matthias Althoff

79

1

0

14 Oct 2024

Reachset-Conformant System Identification

Reachset-Conformant System Identification

Matthias Althoff

161

3

0

16 Jul 2024

Reachability Analysis of ARMAX Models

Reachability Analysis of ARMAX ModelsIEEE Conference on Decision and Control (CDC), 2023

Matthias Althoff

185

1

0

21 Sep 2023