Picture for Lars Lindemann

Lars Lindemann

KTH Royal Institute of Technology, Stockholm, Sweden

Formal Verification and Control with Conformal Prediction

Add code
Aug 31, 2024
Viaarxiv icon

Statistical Reachability Analysis of Stochastic Cyber-Physical Systems under Distribution Shift

Add code
Jul 16, 2024
Viaarxiv icon

Recursively Feasible Shrinking-Horizon MPC in Dynamic Environments with Conformal Prediction Guarantees

Add code
May 17, 2024
Viaarxiv icon

Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks

Add code
Apr 30, 2024
Viaarxiv icon

Robust STL Control Synthesis under Maximal Disturbance Sets

Add code
Apr 08, 2024
Viaarxiv icon

Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification

Add code
Mar 27, 2024
Viaarxiv icon

Conformalized Adaptive Forecasting of Heterogeneous Trajectories

Add code
Feb 14, 2024
Viaarxiv icon

Conformal Predictive Programming for Chance Constrained Optimization

Add code
Feb 12, 2024
Viaarxiv icon

Multi-Modal Conformal Prediction Regions by Optimizing Convex Shape Templates

Add code
Dec 12, 2023
Viaarxiv icon

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift

Add code
Nov 16, 2023
Viaarxiv icon