Picture for Lars Lindemann

Lars Lindemann

KTH Royal Institute of Technology, Stockholm, Sweden

Nonconvex Obstacle Avoidance using Efficient Sampling-Based Distance Functions

Add code
Apr 12, 2025
Viaarxiv icon

Formal Verification and Control with Conformal Prediction

Add code
Aug 31, 2024
Figure 1 for Formal Verification and Control with Conformal Prediction
Figure 2 for Formal Verification and Control with Conformal Prediction
Figure 3 for Formal Verification and Control with Conformal Prediction
Figure 4 for Formal Verification and Control with Conformal Prediction
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
Figure 1 for Robust STL Control Synthesis under Maximal Disturbance Sets
Figure 2 for Robust STL Control Synthesis under Maximal Disturbance Sets
Figure 3 for Robust STL Control Synthesis under Maximal Disturbance Sets
Viaarxiv icon

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

Add code
Mar 27, 2024
Figure 1 for Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification
Figure 2 for Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification
Figure 3 for Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification
Figure 4 for Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification
Viaarxiv icon

Conformalized Adaptive Forecasting of Heterogeneous Trajectories

Add code
Feb 14, 2024
Figure 1 for Conformalized Adaptive Forecasting of Heterogeneous Trajectories
Figure 2 for Conformalized Adaptive Forecasting of Heterogeneous Trajectories
Figure 3 for Conformalized Adaptive Forecasting of Heterogeneous Trajectories
Figure 4 for Conformalized Adaptive Forecasting of Heterogeneous Trajectories
Viaarxiv icon

Conformal Predictive Programming for Chance Constrained Optimization

Add code
Feb 12, 2024
Figure 1 for Conformal Predictive Programming for Chance Constrained Optimization
Figure 2 for Conformal Predictive Programming for Chance Constrained Optimization
Figure 3 for Conformal Predictive Programming for Chance Constrained Optimization
Figure 4 for Conformal Predictive Programming for Chance Constrained Optimization
Viaarxiv icon

Multi-Modal Conformal Prediction Regions by Optimizing Convex Shape Templates

Add code
Dec 12, 2023
Viaarxiv icon