Integration of medical equipment into SOA - Enabling technology for efficient workflow management. - Lars Lindemann; Mario Thron; Thomas Bangemann; Oliver S. Großer (ETFA, 2011)

Robust Control for Signal Temporal Logic Specifications using Average Space Robustness. - Lars Lindemann; Dimos V. Dimarogonas (CoRR, 2016)

Robust motion planning employing signal temporal logic. - Lars Lindemann; Dimos V. Dimarogonas (ACC, 2017)

Prescribed performance control for signal temporal logic specifications. - Lars Lindemann; Christos K. Verginis; Dimos V. Dimarogonas (CDC, 2017)

Decentralized Robust Control of Coupled Multi-Agent Systems under Local Signal Temporal Logic Tasks. - Lars Lindemann; Dimos V. Dimarogonas (ACC, 2018)

Event-triggered Feedback Control for Signal Temporal Logic Tasks. - Lars Lindemann; Dipankar Maity; John S. Baras; Dimos V. Dimarogonas (CDC, 2018)

Integrated Motion Planning and Control Under Metric Interval Temporal Logic Specifications. - Fernando S. Barbosa; Lars Lindemann; Dimos V. Dimarogonas; Jana Tumova (ECC, 2019)

Decentralized Control Barrier Functions for Coupled Multi-Agent Systems under Signal Temporal Logic Tasks. - Lars Lindemann; Dimos V. Dimarogonas (ECC, 2019)

Robust control for signal temporal logic specifications using discrete average space robustness. - Lars Lindemann; Dimos V. Dimarogonas (Autom., 2019)

Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks. - Lars Lindemann; Dimos V. Dimarogonas (Autom., 2019)

Control Barrier Functions for Signal Temporal Logic Tasks. - Lars Lindemann; Dimos V. Dimarogonas (IEEE Control. Syst. Lett., 2019)

Control Barrier Functions for Multi-Agent Systems Under Conflicting Local Signal Temporal Logic Tasks. - Lars Lindemann; Dimos V. Dimarogonas (IEEE Control. Syst. Lett., 2019)

Efficient Automata-based Planning and Control under Spatio-Temporal Logic Specifications. - Lars Lindemann; Dimos V. Dimarogonas (ACC, 2020)

Provably Safe Control of Lagrangian Systems in Obstacle-Scattered Environments. - Fernando S. Barbosa; Lars Lindemann; Dimos V. Dimarogonas; Jana Tumova (CDC, 2020)

Control Barrier Functions for Nonholonomic Systems under Risk Signal Temporal Logic Specifications. - Lars Lindemann; George J. Pappas; Dimos V. Dimarogonas (CDC, 2020)

Learning Control Barrier Functions from Expert Demonstrations. - Alexander Robey; Haimin Hu; Lars Lindemann; Hanwen Zhang; Dimos V. Dimarogonas; Stephen Tu; Nikolai Matni (CDC, 2020)

Learning Hybrid Control Barrier Functions from Data. - Lars Lindemann; Haimin Hu; Alexander Robey; Hanwen Zhang; Dimos V. Dimarogonas; Stephen Tu; Nikolai Matni (CoRL, 2020)

Control Design for Risk-Based Signal Temporal Logic Specifications. - Sleiman Safaoui; Lars Lindemann; Dimos V. Dimarogonas; Iman Shames; Tyler H. Summers (IEEE Control. Syst. Lett., 2020)

Barrier Function Based Collaborative Control of Multiple Robots Under Signal Temporal Logic Tasks. - Lars Lindemann; Dimos V. Dimarogonas (IEEE Trans. Control. Netw. Syst., 2020)

Planning and Control of Multi-Agent Systems under Signal Temporal Logic Specifications. - Lars Lindemann (2020)

Learning Robust Hybrid Control Barrier Functions for Uncertain Systems. - Alexander Robey; Lars Lindemann; Stephen Tu; Nikolai Matni (ADHS, 2021)

Robust Motion Planning in the Presence of Estimation Uncertainty. - Lars Lindemann; Matthew Cleaveland; Yiannis Kantaros; George J. Pappas (CDC, 2021)

STL Robustness Risk over Discrete-Time Stochastic Processes. - Lars Lindemann; Nikolai Matni; George J. Pappas (CDC, 2021)

Time-Robust Control for STL Specifications. - Alëna Rodionova; Lars Lindemann; Manfred Morari; George J. Pappas (CDC, 2021)

Learning Robust Output Control Barrier Functions from Safe Expert Demonstrations. - Lars Lindemann; Alexander Robey; Lejun Jiang; Stephen Tu; Nikolai Matni (CoRR, 2021)

Coupled Multi-Robot Systems Under Linear Temporal Logic and Signal Temporal Logic Tasks. - Lars Lindemann; Jakub Nowak; Lukas Schönbächler; Meng Guo 002; Jana Tumova; Dimos V. Dimarogonas (IEEE Trans. Control. Syst. Technol., 2021)

Corridor MPC: Towards Optimal and Safe Trajectory Tracking. - Pedro Roque; Wenceslao Shaw-Cortez; Lars Lindemann; Dimos V. Dimarogonas (ACC, 2022)

Risk-Bounded Temporal Logic Control of Continuous-Time Stochastic Systems. - Sleiman Safaoui; Lars Lindemann; Iman Shames; Tyler H. Summers (ACC, 2022)

Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks. - Anton Xue; Lars Lindemann; Alexander Robey; Hamed Hassani; George J. Pappas; Rajeev Alur (CDC, 2022)

Temporal Robustness of Stochastic Signals. - Lars Lindemann; Alëna Rodionova; George J. Pappas (HSCC, 2022)

Risk verification of stochastic systems with neural network controllers. - Matthew Cleaveland; Lars Lindemann; Radoslav Ivanov; George J. Pappas (Artif. Intell., 2022)

Parametric Chordal Sparsity for SDP-based Neural Network Verification. - Anton Xue; Lars Lindemann; Rajeev Alur (CoRR, 2022)

Reactive and Risk-Aware Control for Signal Temporal Logic. - Lars Lindemann; George J. Pappas; Dimos V. Dimarogonas (IEEE Trans. Autom. Control., 2022)

Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference. - Navid Hashemi; Xin Qin; Lars Lindemann; Jyotirmoy V. Deshmukh (CDC, 2023)

Control of Nonlinear Systems Under Multiple Time-Varying Output Constraints: A Single Funnel Approach. - Farhad Mehdifar; Lars Lindemann; Charalampos P. Bechlioulis; Dimos V. Dimarogonas (CDC, 2023)

Safe Perception-Based Control Under Stochastic Sensor Uncertainty Using Conformal Prediction. - Shuo Yang 007; George J. Pappas; Rahul Mangharam; Lars Lindemann (CDC, 2023)

Efficient STL Control Synthesis Under Asynchronous Temporal Robustness Constraints. - Xinyi Yu; Xiang Yin 003; Lars Lindemann (CDC, 2023)

Conformance Testing for Stochastic Cyber-Physical Systems. - Xin Qin; Navid Hashemi; Lars Lindemann; Jyotirmoy V. Deshmukh (FMCAD, 2023)

Conformal Prediction for STL Runtime Verification. - Lars Lindemann; Xin Qin; Jyotirmoy V. Deshmukh; George J. Pappas (ICCPS, 2023)

Physics Constrained Motion Prediction with Uncertainty Quantification. - Renukanandan Tumu; Lars Lindemann; Truong Nghiem; Rahul Mangharam (IV, 2023)

Adaptive Conformal Prediction for Motion Planning among Dynamic Agents. - Anushri Dixit; Lars Lindemann; Skylar X. Wei; Matthew Cleaveland; George J. Pappas; Joel W. Burdick (L4DC, 2023)

Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction. - Xinyi Yu; Yiqi Zhao; Xiang Yin 003; Lars Lindemann (CoRR, 2023)

Combined Left and Right Temporal Robustness for Control Under STL Specifications. - Alëna Rodionova; Lars Lindemann; Manfred Morari; George J. Pappas (IEEE Control. Syst. Lett., 2023)

Safe Planning in Dynamic Environments Using Conformal Prediction. - Lars Lindemann; Matthew Cleaveland; Gihyun Shim; George J. Pappas (IEEE Robotics Autom. Lett., 2023)

Risk of Stochastic Systems for Temporal Logic Specifications. - Lars Lindemann; Lejun Jiang; Nikolai Matni; George J. Pappas (ACM Trans. Embed. Comput. Syst., 2023)

Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design. - Alëna Rodionova; Lars Lindemann; Manfred Morari; George J. Pappas (ACM Trans. Embed. Comput. Syst., 2023)

Conformal Predictive Safety Filter for RL Controllers in Dynamic Environments. - Kegan J. Strawn; Nora Ayanian; Lars Lindemann (IEEE Robotics Autom. Lett., 2023)

Conformal Prediction Regions for Time Series Using Linear Complementarity Programming. - Matthew Cleaveland; Insup Lee 001; George J. Pappas; Lars Lindemann (AAAI, 2024)

Communication-Constrained STL Task Decomposition Through Convex Optimization. - Gregorio Marchesini; Siyuan Liu 002; Lars Lindemann; Dimos V. Dimarogonas (ACC, 2024)

Temporally Robust Multi-Agent STL Motion Planning in Continuous Time. - Joris Verhagen; Lars Lindemann; Jana Tumova (ACC, 2024)

Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications. - Arash Bahari Kordabad; Eleftherios E. Vlahakis; Lars Lindemann; Dimos V. Dimarogonas; Sadegh Soudjani (CDC, 2024)

Decentralized Control of Multi-Agent Systems Under Acyclic Spatio-Temporal Task Dependencies. - Gregorio Marchesini; Siyuan Liu 002; Lars Lindemann; Dimos V. Dimarogonas (CDC, 2024)

Robust STL Control Synthesis under Maximal Disturbance Sets. - Joris Verhagen; Lars Lindemann; Jana Tumova (CDC, 2024)

Probabilistic Tube-based Control Synthesis of Stochastic Multi-Agent Systems under Signal Temporal Logic. - Eleftherios E. Vlahakis; Lars Lindemann; Pantelis Sopasakis; Dimos V. Dimarogonas (CDC, 2024)

Scenario Approach and Conformal Prediction for Verification of Unknown Systems via Data-Driven Abstractions. - Rudi Coppola; Andrea Peruffo; Lars Lindemann; Manuel Mazo Jr. 002 (ECC, 2024)

Distributed Sequential Receding Horizon Control of Multi-Agent Systems Under Recurring Signal Temporal Logic. - Eleftherios E. Vlahakis; Lars Lindemann; Dimos V. Dimarogonas (ECC, 2024)

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift. - Yiqi Zhao; Bardh Hoxha; Georgios Fainekos; Jyotirmoy V. Deshmukh; Lars Lindemann (ICCPS, 2024)

Conformalized Adaptive Forecasting of Heterogeneous Trajectories. - Yanfei Zhou; Lars Lindemann; Matteo Sesia (ICML, 2024)

Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks. - Farhad Nawaz; Shaoting Peng; Lars Lindemann; Nadia Figueroa; Nikolai Matni (IROS, 2024)

Recursively feasible shrinking-horizon MPC in dynamic environments with conformal prediction guarantees. - Charis J. Stamouli; Lars Lindemann; George J. Pappas (L4DC, 2024)

Multi-modal conformal prediction regions by optimizing convex shape templates. - Renukanandan Tumu; Matthew Cleaveland; Rahul Mangharam; George J. Pappas; Lars Lindemann (L4DC, 2024)

Safety Assurance for Autonomous Systems with Multiple Sensor Modalities. - Anand Balakrishnan 001; Rohit Bernard; Shreeram Narayanan; Vidisha Kudalkar; Yiqi Zhao; Parinitha Nagaraja; Georgi A. Markov; Christof J. Budnik; Helmut Degen; Lars Lindemann; Jyotirmoy V. Deshmukh (MEMOCODE, 2024)

Chordal sparsity for SDP-based neural network verification. - Anton Xue; Lars Lindemann; Rajeev Alur (Autom., 2024)

Conformal Predictive Programming for Chance Constrained Optimization. - Yiqi Zhao; Xinyi Yu; Jyotirmoy V. Deshmukh; Lars Lindemann (CoRR, 2024)

Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification. - Prithvi Akella; Anushri Dixit; Mohamadreza Ahmadi; Lars Lindemann; Margaret P. Chapman; George J. Pappas; Aaron D. Ames; Joel W. Burdick (CoRR, 2024)

Formal Verification and Control with Conformal Prediction. - Lars Lindemann; Yiqi Zhao; Xinyi Yu; George J. Pappas; Jyotirmoy V. Deshmukh (CoRR, 2024)

Incremental Composition of Learned Control Barrier Functions in Unknown Environments. - Paul Lutkus; Deepika Anantharaman; Stephen Tu; Lars Lindemann (CoRR, 2024)

A Communication Consistent Approach to Signal Temporal Logic Task Decomposition in Multi-Agent Systems. - Gregorio Marchesini; Siyuan Liu 002; Lars Lindemann; Dimos V. Dimarogonas (CoRR, 2024)

Conformal Prediction for Distribution-Free Optimal Control of Linear Stochastic Systems. - Eleftherios E. Vlahakis; Lars Lindemann; Pantelis Sopasakis; Dimos V. Dimarogonas (IEEE Control. Syst. Lett., 2024)

Sleep When Everything Looks Fine: Self-Triggered Monitoring for Signal Temporal Logic Tasks. - Chuwei Wang; Xinyi Yu; Jianing Zhao; Lars Lindemann; Xiang Yin 003 (IEEE Robotics Autom. Lett., 2024)

Statistical Reachability Analysis of Stochastic Cyber-Physical Systems Under Distribution Shift. - Navid Hashemi; Lars Lindemann; Jyotirmoy V. Deshmukh (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

Trust Dynamics in AI-Assisted Development: Definitions, Factors, and Implications. - Sadra Sabouri; Philipp Eibl; Xinyi Zhou; Morteza Ziyadi; Nenad Medvidovic; Lars Lindemann; Souti Chattopadhyay (ICSE, 2025)

PCA-DDReach: Efficient Statistical Reachability Analysis of Stochastic Dynamical Systems via Principal Component Analysis. - Navid Hashemi; Lars Lindemann; Jyotirmoy V. Deshmukh (NeuS, 2025)

Data-Driven Distributionally Robust Control for Interacting Agents under Logical Constraints. - Arash Bahari Kordabad; Eleftherios E. Vlahakis; Lars Lindemann; Sebastien Gros; Dimos V. Dimarogonas; Sadegh Soudjani (CoRR, 2025)

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications. - Yiqi Zhao; Emily Zhu; Bardh Hoxha; Georgios Fainekos; Jyotirmoy V. Deshmukh; Lars Lindemann (CoRR, 2025)

Conformal Data-driven Control of Stochastic Multi-Agent Systems under Collaborative Signal Temporal Logic Specifications. - Eleftherios E. Vlahakis; Lars Lindemann; Dimos V. Dimarogonas (CoRR, 2025)

Nonconvex Obstacle Avoidance using Efficient Sampling-Based Distance Functions. - Paul Lutkus; Michelle S. Chong; Lars Lindemann (CoRR, 2025)

Latent Representations for Control Design with Provable Stability and Safety Guarantees. - Paul Lutkus; Kaiyuan Wang; Lars Lindemann; Stephen Tu (CoRR, 2025)

Deep Equivariant Multi-Agent Control Barrier Functions. - Nikolaos Bousias; Lars Lindemann; George J. Pappas (CoRR, 2025)

Sampling-Based Planning Under STL Specifications: A Forward Invariance Approach. - Gregorio Marchesini; Siyuan Liu 002; Lars Lindemann; Dimos V. Dimarogonas (CoRR, 2025)

STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies. - Yiqi Zhao; Xinyi Yu; Bardh Hoxha; Georgios Fainekos; Jyotirmoy V. Deshmukh; Lars Lindemann (CoRR, 2025)

Multi-Agent Path Finding Among Dynamic Uncontrollable Agents with Statistical Safety Guarantees. - Kegan J. Strawn; Thomy Phan; Eric Wang; Nora Ayanian; Sven Koenig; Lars Lindemann (CoRR, 2025)

Low-Complexity Control for a Class of Uncertain MIMO Nonlinear Systems Under Generalized Time-Varying Output Constraints. - Farhad Mehdifar; Lars Lindemann; Charalampos P. Bechlioulis; Dimos V. Dimarogonas (IEEE Trans. Autom. Control., 2025)

Neuro-Symbolic Acceleration of MILP Motion Planning with Temporal Logic and Chance Constraints. - Junyang Cai; Weimin Huang; Jyotirmoy V. Deshmukh; Lars Lindemann; Bistra Dilkina (CoRR, 2025)