21 citations · 129 across the 42 of their papers we have counts for
3 papers · 2 filters
Temporally Robust Multi-Agent STL Motion Planning in Continuous Time
Joris Verhagen, Lars Lindemann, Jana Tumova
Signal Temporal Logic (STL) is a formal language over continuous-time signals (such as trajectories of a multi-agent system) that allows for the specification of complex spatial an…
Conformal Predictive Safety Filter for RL Controllers in Dynamic Environments
Kegan J. Strawn, Nora Ayanian, Lars Lindemann
The interest in using reinforcement learning (RL) controllers in safety-critical applications such as robot navigation around pedestrians motivates the development of additional sa…
Physics Constrained Motion Prediction with Uncertainty Quantification
Renukanandan Tumu, Lars Lindemann, Truong Nghiem +1
Predicting the motion of dynamic agents is a critical task for guaranteeing the safety of autonomous systems. A particular challenge is that motion prediction algorithms should obe…