Showing 2024Show all
3 papers · 1 filter
cs.RO2024
Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks
Farhad Nawaz, Shaoting Peng, Lars Lindemann +2
Robots interacting with humans must be safe, reactive and adapt online to unforeseen environmental and task changes. Achieving these requirements concurrently is a challenge as int…
cs.RO2024
Robust STL Control Synthesis under Maximal Disturbance Sets
Joris Verhagen, Lars Lindemann, Jana Tumova
This work addresses maximally robust control synthesis under unknown disturbances. We consider a general nonlinear system, subject to a Signal Temporal Logic (STL) specification, a…
stat.ML2024
Conformalized Adaptive Forecasting of Heterogeneous Trajectories
Yanfei Zhou, Lars Lindemann, Matteo Sesia
This paper presents a new conformal method for generating simultaneous forecasting bands guaranteed to cover the entire path of a new random trajectory with sufficiently high proba…