Lars Lindemann

ORCID

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 100

Top Venues

CoRR

CDC

ACC

IEEE Control. Syst. Lett.

Publications

Matthew Cleaveland, Insup Lee, George J. Pappas, Lars Lindemann
Conformal Prediction Regions for Time Series Using Linear Complementarity Programming. AAAI (2024)
Yanfei Zhou, Lars Lindemann, Matteo Sesia
Conformalized Adaptive Forecasting of Heterogeneous Trajectories. CoRR (2024)
Joris Verhagen, Lars Lindemann, Jana Tumova
Robust STL Control Synthesis under Maximal Disturbance Sets. CoRR (2024)
Rudi Coppola, Andrea Peruffo, Lars Lindemann, Manuel Mazo Jr.
Scenario Approach and Conformal Prediction for Verification of Unknown Systems via Data-Driven Abstractions. ECC (2024)
Prithvi Akella, Anushri Dixit, Mohamadreza Ahmadi, Lars Lindemann, Margaret P. Chapman, George J. Pappas, Aaron D. Ames, Joel W. Burdick
Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification. CoRR (2024)
Charis J. Stamouli, Lars Lindemann, George J. Pappas
Recursively feasible shrinking-horizon MPC in dynamic environments with conformal prediction guarantees. L4DC (2024)
Gregorio Marchesini, Siyuan Liu, Lars Lindemann, Dimos V. Dimarogonas
Communication-Constrained STL Task Decomposition through Convex Optimization. CoRR (2024)
Yiqi Zhao, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann
Robust Conformal Prediction for STL Runtime Verification under Distribution Shift. ICCPS (2024)
Eleftherios E. Vlahakis, Lars Lindemann, Dimos V. Dimarogonas
Distributed Sequential Receding Horizon Control of Multi-Agent Systems Under Recurring Signal Temporal Logic. ECC (2024)
Yiqi Zhao, Xinyi Yu, Jyotirmoy V. Deshmukh, Lars Lindemann
Conformal Predictive Programming for Chance Constrained Optimization. CoRR (2024)
Charis J. Stamouli, Lars Lindemann, George J. Pappas
Recursively Feasible Shrinking-Horizon MPC in Dynamic Environments with Conformal Prediction Guarantees. CoRR (2024)
Anton Xue, Lars Lindemann, Rajeev Alur
Chordal sparsity for SDP-based neural network verification. Autom. 161 (2024)
Eleftherios E. Vlahakis, Lars Lindemann, Pantelis Sopasakis, Dimos V. Dimarogonas
Probabilistic tube-based control synthesis of stochastic multi-agent systems under signal temporal logic. CoRR (2024)
Renukanandan Tumu, Matthew Cleaveland, Rahul Mangharam, George J. Pappas, Lars Lindemann
Multi-modal conformal prediction regions by optimizing convex shape templates. L4DC (2024)
Farhad Mehdifar, Lars Lindemann, Charalampos P. Bechlioulis, Dimos V. Dimarogonas
Low-Complexity Control for a Class of Uncertain MIMO Nonlinear Systems under Generalized Time-Varying Output Constraints. CoRR (2024)
Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh
Statistical Reachability Analysis of Stochastic Cyber-Physical Systems under Distribution Shift. CoRR (2024)
Farhad Nawaz, Shaoting Peng, Lars Lindemann, Nadia Figueroa, Nikolai Matni
Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks. CoRR (2024)
Kegan J. Strawn, Nora Ayanian, Lars Lindemann
Conformal Predictive Safety Filter for RL Controllers in Dynamic Environments. CoRR (2023)
Anushri Dixit, Lars Lindemann, Skylar X. Wei, Matthew Cleaveland, George J. Pappas, Joel W. Burdick
Adaptive Conformal Prediction for Motion Planning among Dynamic Agents. L4DC (2023)
Shuo Yang, George J. Pappas, Rahul Mangharam, Lars Lindemann
Safe Perception-Based Control under Stochastic Sensor Uncertainty using Conformal Prediction. CoRR (2023)
Joris Verhagen, Lars Lindemann, Jana Tumova
Temporally Robust Multi-Agent STL Motion Planning in Continuous Time. CoRR (2023)
Yiqi Zhao, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann
Robust Conformal Prediction for STL Runtime Verification under Distribution Shift. CoRR (2023)
Xinyi Yu, Xiang Yin, Lars Lindemann
Efficient STL Control Synthesis under Asynchronous Temporal Robustness Constraints. CoRR (2023)
Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas
Combined Left and Right Temporal Robustness for Control under STL Specifications. CoRR (2023)
Navid Hashemi, Xin Qin, Lars Lindemann, Jyotirmoy V. Deshmukh
Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference. CoRR (2023)
Lars Lindemann, Matthew Cleaveland, Gihyun Shim, George J. Pappas
Safe Planning in Dynamic Environments Using Conformal Prediction. IEEE Robotics Autom. Lett. 8 (8) (2023)
Matthew Cleaveland, Insup Lee, George J. Pappas, Lars Lindemann
Conformal Prediction Regions for Time Series using Linear Complementarity Programming. CoRR (2023)
Xinyi Yu, Xiang Yin, Lars Lindemann
Efficient STL Control Synthesis Under Asynchronous Temporal Robustness Constraints. CDC (2023)
Lars Lindemann, Xin Qin, Jyotirmoy V. Deshmukh, George J. Pappas
Conformal Prediction for STL Runtime Verification. ICCPS (2023)
Farhad Mehdifar, Lars Lindemann, Charalampos P. Bechlioulis, Dimos V. Dimarogonas
Control of Nonlinear Systems Under Multiple Time-Varying Output Constraints: A Single Funnel Approach. CoRR (2023)
Eleftherios E. Vlahakis, Lars Lindemann, Dimos V. Dimarogonas
Distributed Sequential Receding Horizon Control of Multi-Agent Systems under Recurring Signal Temporal Logic. CoRR (2023)
Chuwei Wang, Xinyi Yu, Jianing Zhao, Lars Lindemann, Xiang Yin
Sleep When Everything Looks Fine: Self-Triggered Monitoring for Signal Temporal Logic Tasks. CoRR (2023)
Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas
Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design. ACM Trans. Embed. Comput. Syst. 22 (1) (2023)
Shuo Yang, George J. Pappas, Rahul Mangharam, Lars Lindemann
Safe Perception-Based Control Under Stochastic Sensor Uncertainty Using Conformal Prediction. CDC (2023)
Lars Lindemann, Lejun Jiang, Nikolai Matni, George J. Pappas
Risk of Stochastic Systems for Temporal Logic Specifications. ACM Trans. Embed. Comput. Syst. 22 (3) (2023)
Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas
Combined Left and Right Temporal Robustness for Control Under STL Specifications. IEEE Control. Syst. Lett. 7 (2023)
Farhad Mehdifar, Lars Lindemann, Charalampos P. Bechlioulis, Dimos V. Dimarogonas
Control of Nonlinear Systems Under Multiple Time-Varying Output Constraints: A Single Funnel Approach. CDC (2023)
Navid Hashemi, Xin Qin, Lars Lindemann, Jyotirmoy V. Deshmukh
Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference. CDC (2023)
Xin Qin, Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh
Conformance Testing for Stochastic Cyber-Physical Systems. CoRR (2023)
Xinyi Yu, Yiqi Zhao, Xiang Yin, Lars Lindemann
Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction. CoRR (2023)
Renukanandan Tumu, Lars Lindemann, Truong Nghiem, Rahul Mangharam
Physics Constrained Motion Prediction with Uncertainty Quantification. IV (2023)
Lars Lindemann, Xin Qin, Jyotirmoy V. Deshmukh, George J. Pappas
Conformal Prediction for STL Runtime Verification. Allerton (2023)
Renukanandan Tumu, Lars Lindemann, Truong Nghiem, Rahul Mangharam
Physics Constrained Motion Prediction with Uncertainty Quantification. CoRR (2023)
Xin Qin, Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh
Conformance Testing for Stochastic Cyber-Physical Systems. FMCAD (2023)
Renukanandan Tumu, Matthew Cleaveland, Rahul Mangharam, George J. Pappas, Lars Lindemann
Multi-Modal Conformal Prediction Regions by Optimizing Convex Shape Templates. CoRR (2023)
Kegan J. Strawn, Nora Ayanian, Lars Lindemann
Conformal Predictive Safety Filter for RL Controllers in Dynamic Environments. IEEE Robotics Autom. Lett. 8 (11) (2023)
Sleiman Safaoui, Lars Lindemann, Iman Shames, Tyler H. Summers
Risk-Bounded Temporal Logic Control of Continuous-Time Stochastic Systems. ACC (2022)
Pedro Roque, Wenceslao Shaw-Cortez, Lars Lindemann, Dimos V. Dimarogonas
Corridor MPC: Towards Optimal and Safe Trajectory Tracking. ACC (2022)
Matthew Cleaveland, Lars Lindemann, Radoslav Ivanov, George J. Pappas
Risk verification of stochastic systems with neural network controllers. Artif. Intell. 313 (2022)
Lars Lindemann, Xin Qin, Jyotirmoy V. Deshmukh, George J. Pappas
Conformal Prediction for STL Runtime Verification. CoRR (2022)
Anushri Dixit, Lars Lindemann, Skylar Wei, Matthew Cleaveland, George J. Pappas, Joel W. Burdick
Adaptive Conformal Prediction for Motion Planning among Dynamic Agents. CoRR (2022)
Lars Lindemann, Matthew Cleaveland, Gihyun Shim, George J. Pappas
Safe Planning in Dynamic Environments using Conformal Prediction. CoRR (2022)
Anton Xue, Lars Lindemann, Alexander Robey, Hamed Hassani, George J. Pappas, Rajeev Alur
Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks. CDC (2022)
Sleiman Safaoui, Lars Lindemann, Iman Shames, Tyler H. Summers
Risk-Bounded Temporal Logic Control of Continuous-Time Stochastic Systems. CoRR (2022)
Anton Xue, Lars Lindemann, Alexander Robey, Hamed Hassani, George J. Pappas, Rajeev Alur
Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks. CoRR (2022)
Lars Lindemann, Alëna Rodionova, George J. Pappas
Temporal Robustness of Stochastic Signals. HSCC (2022)
Lars Lindemann, Lejun Jiang, Nikolai Matni, George J. Pappas
Risk of Stochastic Systems for Temporal Logic Specifications. CoRR (2022)
Matthew Cleaveland, Lars Lindemann, Radoslav Ivanov, George J. Pappas
Risk Verification of Stochastic Systems with Neural Network Controllers. CoRR (2022)
Anton Xue, Lars Lindemann, Rajeev Alur
Parametric Chordal Sparsity for SDP-based Neural Network Verification. CoRR (2022)
Lars Lindemann, Alëna Rodionova, George J. Pappas
Temporal Robustness of Stochastic Signals. CoRR (2022)
Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas
Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design. CoRR (2022)
Lars Lindemann, George J. Pappas, Dimos V. Dimarogonas
Reactive and Risk-Aware Control for Signal Temporal Logic. IEEE Trans. Autom. Control. 67 (10) (2022)
Lars Lindemann, Nikolai Matni, George J. Pappas
STL Robustness Risk over Discrete-Time Stochastic Processes. CoRR (2021)
Lars Lindemann, George J. Pappas, Dimos V. Dimarogonas
Reactive and Risk-Aware Control for Signal Temporal Logic. CoRR (2021)
Lars Lindemann, Jakub Nowak, Lukas Schönbächler, Meng Guo, Jana Tumova, Dimos V. Dimarogonas
Coupled Multi-Robot Systems Under Linear Temporal Logic and Signal Temporal Logic Tasks. IEEE Trans. Control. Syst. Technol. 29 (2) (2021)
Alexander Robey, Lars Lindemann, Stephen Tu, Nikolai Matni
Learning Robust Hybrid Control Barrier Functions for Uncertain Systems. ADHS (2021)
Lars Lindemann, Matthew Cleaveland, Yiannis Kantaros, George J. Pappas
Robust Motion Planning in the Presence of Estimation Uncertainty. CoRR (2021)
Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas
Time-Robust Control for STL Specifications. CDC (2021)
Lars Lindemann, Nikolai Matni, George J. Pappas
STL Robustness Risk over Discrete-Time Stochastic Processes. CDC (2021)
Lars Lindemann, Dimos V. Dimarogonas
Barrier Function-based Collaborative Control of Multiple Robots under Signal Temporal Logic Tasks. CoRR (2021)
Alexander Robey, Lars Lindemann, Stephen Tu, Nikolai Matni
Learning Robust Hybrid Control Barrier Functions for Uncertain Systems. CoRR (2021)
Lars Lindemann, Matthew Cleaveland, Yiannis Kantaros, George J. Pappas
Robust Motion Planning in the Presence of Estimation Uncertainty. CDC (2021)
Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas
Time-Robust Control for STL Specifications. CoRR (2021)
Lars Lindemann, Alexander Robey, Lejun Jiang, Stephen Tu, Nikolai Matni
Learning Robust Output Control Barrier Functions from Safe Expert Demonstrations. CoRR (2021)
Fernando S. Barbosa, Lars Lindemann, Dimos V. Dimarogonas, Jana Tumova
Provably Safe Control of Lagrangian Systems in Obstacle-Scattered Environments. CDC (2020)
Lars Lindemann, Dimos V. Dimarogonas
Decentralized Control Barrier Functions for Coupled Multi-Agent Systems under Signal Temporal Logic Tasks. CoRR (2020)
Lars Lindemann, George J. Pappas, Dimos V. Dimarogonas
Control Barrier Functions for Nonholonomic Systems under Risk Signal Temporal Logic Specifications. CDC (2020)
Lars Lindemann, Dimos V. Dimarogonas
Barrier Function Based Collaborative Control of Multiple Robots Under Signal Temporal Logic Tasks. IEEE Trans. Control. Netw. Syst. 7 (4) (2020)
Sleiman Safaoui, Lars Lindemann, Dimos V. Dimarogonas, Iman Shames, Tyler H. Summers
Control Design for Risk-Based Signal Temporal Logic Specifications. CoRR (2020)
Alexander Robey, Haimin Hu, Lars Lindemann, Hanwen Zhang, Dimos V. Dimarogonas, Stephen Tu, Nikolai Matni
Learning Control Barrier Functions from Expert Demonstrations. CoRR (2020)
Sleiman Safaoui, Lars Lindemann, Dimos V. Dimarogonas, Iman Shames, Tyler H. Summers
Control Design for Risk-Based Signal Temporal Logic Specifications. IEEE Control. Syst. Lett. 4 (4) (2020)
Fernando S. Barbosa, Lars Lindemann, Dimos V. Dimarogonas, Jana Tumova
Provably Safe Control of Lagrangian Systems in Obstacle-Scattered Environments. CoRR (2020)
Alexander Robey, Haimin Hu, Lars Lindemann, Hanwen Zhang, Dimos V. Dimarogonas, Stephen Tu, Nikolai Matni
Learning Control Barrier Functions from Expert Demonstrations. CDC (2020)
Lars Lindemann, Haimin Hu, Alexander Robey, Hanwen Zhang, Dimos V. Dimarogonas, Stephen Tu, Nikolai Matni
Learning Hybrid Control Barrier Functions from Data. CoRR (2020)
Lars Lindemann, Haimin Hu, Alexander Robey, Hanwen Zhang, Dimos V. Dimarogonas, Stephen Tu, Nikolai Matni
Learning Hybrid Control Barrier Functions from Data. CoRL (2020)
Lars Lindemann, Dimos V. Dimarogonas
Efficient Automata-based Planning and Control under Spatio-Temporal Logic Specifications. ACC (2020)
Lars Lindemann, Dipankar Maity, John S. Baras, Dimos V. Dimarogonas
Event-triggered Feedback Control for Signal Temporal Logic Tasks. CoRR (2020)
Lars Lindemann, Dimos V. Dimarogonas
Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks. Autom. 106 (2019)
Lars Lindemann, Dimos V. Dimarogonas
Decentralized Control Barrier Functions for Coupled Multi-Agent Systems under Signal Temporal Logic Tasks. ECC (2019)
Fernando S. Barbosa, Lars Lindemann, Dimos V. Dimarogonas, Jana Tumova
Integrated Motion Planning and Control Under Metric Interval Temporal Logic Specifications. ECC (2019)
Lars Lindemann, Dimos V. Dimarogonas
Efficient Automata-based Planning and Control under Spatio-Temporal Logic Specifications. CoRR (2019)
Lars Lindemann, Dimos V. Dimarogonas
Robust control for signal temporal logic specifications using discrete average space robustness. Autom. 101 (2019)
Lars Lindemann, Dimos V. Dimarogonas
Control Barrier Functions for Multi-Agent Systems Under Conflicting Local Signal Temporal Logic Tasks. IEEE Control. Syst. Lett. 3 (3) (2019)
Lars Lindemann, Dimos V. Dimarogonas
Control Barrier Functions for Signal Temporal Logic Tasks. IEEE Control. Syst. Lett. 3 (1) (2019)
Lars Lindemann, Dimos V. Dimarogonas
Decentralized Robust Control of Coupled Multi-Agent Systems under Local Signal Temporal Logic Tasks. ACC (2018)
Lars Lindemann, Dipankar Maity, John S. Baras, Dimos V. Dimarogonas
Event-triggered Feedback Control for Signal Temporal Logic Tasks. CDC (2018)
Lars Lindemann, Dimos V. Dimarogonas
Robust motion planning employing signal temporal logic. ACC (2017)
Lars Lindemann, Christos K. Verginis, Dimos V. Dimarogonas
Prescribed performance control for signal temporal logic specifications. CDC (2017)
Lars Lindemann, Dimos V. Dimarogonas
Robust Motion Planning employing Signal Temporal Logic. CoRR (2017)
Lars Lindemann, Dimos V. Dimarogonas
Robust Control for Signal Temporal Logic Specifications using Average Space Robustness. CoRR (2016)

Lars Lindemann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Lars Lindemann