Lars Lindemann

156 papers A* 3A 2B 2C 10Misc 1Journal 103Unranked 34

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Communication Consistent Approach to Signal Temporal Logic Task Decomposition in Multiagent Systems. IEEE Trans. Autom. Control. Gregorio Marchesini, Siyuan Liu, Lars Lindemann, Dimos V. Dimarogonas
2026	J	`jnl`	Multi-Agent Temporal Logic Planning via Penalty Functions and Block-Coordinate Optimization. CoRR Eleftherios E. Vlahakis, Arash Bahari Kordabad, Lars Lindemann, Pantelis Sopasakis, Sadegh Soudjani, Dimos V. Dimarogonas
2026	J	`jnl`	Signal temporal logic control synthesis among uncontrollable dynamic agents with conformal prediction. Autom. Xinyi Yu, Yiqi Zhao, Xiang Yin, Lars Lindemann
2026	J	`jnl`	Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning. CoRR Oliver Schön, Lars Lindemann
2026	J	`jnl`	UMBRELLA: Uncertainty-aware Multi-robot Reactive Coordination under Dynamic Temporal Logic Tasks. CoRR Qisheng Zhao, Meng Guo, Hengxuan Du, Lars Lindemann, Zhongkui Li
2026	J	`jnl`	V-MORALS: Visual Morse Graph-Aided Estimation of Regions of Attraction in a Learned Latent Space. CoRR Faiz Aladin, Ashwin Balasubramanian, Lars Lindemann, Daniel Seita
2026	J	`jnl`	When Environments Shift: Safe Planning with Generative Priors and Robust Conformal Prediction. CoRR Kaizer Rahaman, Jyotirmoy V. Deshmukh, Ashish R. Hota, Lars Lindemann
2026	J	`jnl`	eCP: Informative uncertainty quantification via Equivariantized Conformal Prediction with pre-trained models. CoRR Nikolaos Bousias, Lars Lindemann, George J. Pappas
2025	—	`conf`	Conformal Data-driven Control of Stochastic Multi-Agent Systems under Collaborative Signal Temporal Logic Specifications. CDC Eleftherios E. Vlahakis, Lars Lindemann, Dimos V. Dimarogonas
2025	J	`jnl`	Conformal Data-driven Control of Stochastic Multi-Agent Systems under Collaborative Signal Temporal Logic Specifications. CoRR Eleftherios E. Vlahakis, Lars Lindemann, Dimos V. Dimarogonas
2025	J	`jnl`	Conformal Predictive Monitoring for Multi-Modal Scenarios. CoRR Francesca Cairoli, Luca Bortolussi, Jyotirmoy V. Deshmukh, Lars Lindemann, Nicola Paoletti
2025	B	`conf`	Conformal Predictive Monitoring for Multi-modal Scenarios. RV Francesca Cairoli, Luca Bortolussi, Jyotirmoy V. Deshmukh, Lars Lindemann, Nicola Paoletti
2025	J	`jnl`	Data-Driven Distributionally Robust Control for Interacting Agents under Logical Constraints. CoRR Arash Bahari Kordabad, Eleftherios E. Vlahakis, Lars Lindemann, Sebastien Gros, Dimos V. Dimarogonas, Sadegh Soudjani
2025	A	`conf`	Deep Equivariant Multi-Agent Control Barrier Functions. IROS Nikolaos Bousias, Lars Lindemann, George J. Pappas
2025	J	`jnl`	Deep Equivariant Multi-Agent Control Barrier Functions. CoRR Nikolaos Bousias, Lars Lindemann, George J. Pappas
2025	J	`jnl`	Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications. CoRR Yiqi Zhao, Emily Zhu, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann
2025	J	`jnl`	Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications. ACM Trans. Cyber Phys. Syst. Yiqi Zhao, Emily Zhu, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann
2025	—	`conf`	Incremental Composition of Learned Control Barrier Functions in Unknown Environments. CDC Paul Lutkus, Deepika Anantharaman, Stephen Tu, Lars Lindemann
2025	J	`jnl`	Latent Activation Editing: Inference-Time Refinement of Learned Policies for Safer Multirobot Navigation. CoRR Satyajeet Das, Darren Chiu, Zhehui Huang, Lars Lindemann, Gaurav S. Sukhatme
2025	—	`conf`	Latent Representations for Control Design with Provable Stability and Safety Guarantees. CDC Paul Lutkus, Kaiyuan Wang, Lars Lindemann, Stephen Tu
2025	J	`jnl`	Latent Representations for Control Design with Provable Stability and Safety Guarantees. CoRR Paul Lutkus, Kaiyuan Wang, Lars Lindemann, Stephen Tu
2025	J	`jnl`	Low-Complexity Control for a Class of Uncertain MIMO Nonlinear Systems Under Generalized Time-Varying Output Constraints. IEEE Trans. Autom. Control. Farhad Mehdifar, Lars Lindemann, Charalampos P. Bechlioulis, Dimos V. Dimarogonas
2025	J	`jnl`	Metriplectic Conditional Flow Matching for Dissipative Dynamics. CoRR Ali Baheri, Lars Lindemann
2025	J	`jnl`	Multi-Agent Path Finding Among Dynamic Uncontrollable Agents with Statistical Safety Guarantees. CoRR Kegan J. Strawn, Thomy Phan, Eric Wang, Nora Ayanian, Sven Koenig, Lars Lindemann
2025	J	`jnl`	Neuro-Symbolic Acceleration of MILP Motion Planning with Temporal Logic and Chance Constraints. CoRR Junyang Cai, Weimin Huang, Jyotirmoy V. Deshmukh, Lars Lindemann, Bistra Dilkina
2025	—	`conf`	Nonconvex Obstacle Avoidance using Efficient Sampling-Based Distance Functions. CDC Paul Lutkus, Michelle S. Chong, Lars Lindemann
2025	J	`jnl`	Nonconvex Obstacle Avoidance using Efficient Sampling-Based Distance Functions. CoRR Paul Lutkus, Michelle S. Chong, Lars Lindemann
2025	—	`conf`	PCA-DDReach: Efficient Statistical Reachability Analysis of Stochastic Dynamical Systems via Principal Component Analysis. NeuS Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh
2025	J	`jnl`	PCA-DDReach: Efficient Statistical Reachability Analysis of Stochastic Dynamical Systems via Principal Component Analysis. CoRR Navid Hashemi, Lars Lindemann, Jyotirmoy Deshmukh
2025	J	`jnl`	STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies. CoRR Yiqi Zhao, Xinyi Yu, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann
2025	J	`jnl`	STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies. ACM Trans. Embed. Comput. Syst. Yiqi Zhao, Xinyi Yu, Bardh Hoxha, Georgios Fainekos, Jyotirmoy Deshmukh, Lars Lindemann
2025	J	`jnl`	Safe Planning in Interactive Environments via Iterative Policy Updates and Adversarially Robust Conformal Prediction. CoRR Omid Mirzaeedodangeh, Eliot Shekhtman, Nikolai Matni, Lars Lindemann
2025	J	`jnl`	Sample-Efficient Expert Query Control in Active Imitation Learning via Conformal Prediction. CoRR Arad Firouzkouhi, Omid Mirzaeedodangeh, Lars Lindemann
2025	J	`jnl`	Sampling-Based Planning Under STL Specifications: A Forward Invariance Approach. CoRR Gregorio Marchesini, Siyuan Liu, Lars Lindemann, Dimos V. Dimarogonas
2025	J	`jnl`	Split Conformal Prediction in the Function Space with Neural Operators. CoRR David Millard, Lars Lindemann, Ali Baheri
2025	A*	`conf`	Trust Dynamics in AI-Assisted Development: Definitions, Factors, and Implications. ICSE Sadra Sabouri, Philipp Eibl, Xinyi Zhou, Morteza Ziyadi, Nenad Medvidovic, Lars Lindemann, Souti Chattopadhyay
2024	J	`jnl`	A Communication Consistent Approach to Signal Temporal Logic Task Decomposition in Multi-Agent Systems. CoRR Gregorio Marchesini, Siyuan Liu, Lars Lindemann, Dimos V. Dimarogonas
2024	J	`jnl`	Chordal sparsity for SDP-based neural network verification. Autom. Anton Xue, Lars Lindemann, Rajeev Alur
2024	C	`conf`	Communication-Constrained STL Task Decomposition Through Convex Optimization. ACC Gregorio Marchesini, Siyuan Liu, Lars Lindemann, Dimos V. Dimarogonas
2024	J	`jnl`	Communication-Constrained STL Task Decomposition through Convex Optimization. CoRR Gregorio Marchesini, Siyuan Liu, Lars Lindemann, Dimos V. Dimarogonas
2024	A*	`conf`	Conformal Prediction Regions for Time Series Using Linear Complementarity Programming. AAAI Matthew Cleaveland, Insup Lee, George J. Pappas, Lars Lindemann
2024	J	`jnl`	Conformal Prediction for Distribution-Free Optimal Control of Linear Stochastic Systems. IEEE Control. Syst. Lett. Eleftherios E. Vlahakis, Lars Lindemann, Pantelis Sopasakis, Dimos V. Dimarogonas
2024	J	`jnl`	Conformal Prediction for Distribution-free Optimal Control of Linear Stochastic Systems. CoRR Eleftherios E. Vlahakis, Lars Lindemann, Pantelis Sopasakis, Dimos V. Dimarogonas
2024	J	`jnl`	Conformal Predictive Programming for Chance Constrained Optimization. CoRR Yiqi Zhao, Xinyi Yu, Jyotirmoy V. Deshmukh, Lars Lindemann
2024	A*	`conf`	Conformalized Adaptive Forecasting of Heterogeneous Trajectories. ICML Yanfei Zhou, Lars Lindemann, Matteo Sesia
2024	J	`jnl`	Conformalized Adaptive Forecasting of Heterogeneous Trajectories. CoRR Yanfei Zhou, Lars Lindemann, Matteo Sesia
2024	—	`conf`	Decentralized Control of Multi-Agent Systems Under Acyclic Spatio-Temporal Task Dependencies. CDC Gregorio Marchesini, Siyuan Liu, Lars Lindemann, Dimos V. Dimarogonas
2024	J	`jnl`	Decentralized Control of Multi-Agent Systems Under Acyclic Spatio-Temporal Task Dependencies. CoRR Gregorio Marchesini, Siyuan Liu, Lars Lindemann, Dimos V. Dimarogonas
2024	—	`conf`	Distributed Sequential Receding Horizon Control of Multi-Agent Systems Under Recurring Signal Temporal Logic. ECC Eleftherios E. Vlahakis, Lars Lindemann, Dimos V. Dimarogonas
2024	—	`conf`	Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications. CDC Arash Bahari Kordabad, Eleftherios E. Vlahakis, Lars Lindemann, Dimos V. Dimarogonas, Sadegh Soudjani
2024	J	`jnl`	Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications. CoRR Arash Bahari Kordabad, Eleftherios E. Vlahakis, Lars Lindemann, Dimos V. Dimarogonas, Sadegh Soudjani
2024	J	`jnl`	Formal Verification and Control with Conformal Prediction. CoRR Lars Lindemann, Yiqi Zhao, Xinyi Yu, George J. Pappas, Jyotirmoy V. Deshmukh
2024	J	`jnl`	Incremental Composition of Learned Control Barrier Functions in Unknown Environments. CoRR Paul Lutkus, Deepika Anantharaman, Stephen Tu, Lars Lindemann
2024	J	`jnl`	Low-Complexity Control for a Class of Uncertain MIMO Nonlinear Systems under Generalized Time-Varying Output Constraints. CoRR Farhad Mehdifar, Lars Lindemann, Charalampos P. Bechlioulis, Dimos V. Dimarogonas
2024	—	`conf`	Multi-modal conformal prediction regions by optimizing convex shape templates. L4DC Renukanandan Tumu, Matthew Cleaveland, Rahul Mangharam, George J. Pappas, Lars Lindemann
2024	—	`conf`	Probabilistic Tube-based Control Synthesis of Stochastic Multi-Agent Systems under Signal Temporal Logic. CDC Eleftherios E. Vlahakis, Lars Lindemann, Pantelis Sopasakis, Dimos V. Dimarogonas
2024	J	`jnl`	Probabilistic tube-based control synthesis of stochastic multi-agent systems under signal temporal logic. CoRR Eleftherios E. Vlahakis, Lars Lindemann, Pantelis Sopasakis, Dimos V. Dimarogonas
2024	A	`conf`	Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks. IROS Farhad Nawaz, Shaoting Peng, Lars Lindemann, Nadia Figueroa, Nikolai Matni
2024	J	`jnl`	Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks. CoRR Farhad Nawaz, Shaoting Peng, Lars Lindemann, Nadia Figueroa, Nikolai Matni
2024	J	`jnl`	Recursively Feasible Shrinking-Horizon MPC in Dynamic Environments with Conformal Prediction Guarantees. CoRR Charis J. Stamouli, Lars Lindemann, George J. Pappas
2024	—	`conf`	Recursively feasible shrinking-horizon MPC in dynamic environments with conformal prediction guarantees. L4DC Charis J. Stamouli, Lars Lindemann, George J. Pappas
2024	J	`jnl`	Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification. CoRR Prithvi Akella, Anushri Dixit, Mohamadreza Ahmadi, Lars Lindemann, Margaret P. Chapman, George J. Pappas, Aaron D. Ames, Joel W. Burdick
2024	—	`conf`	Robust Conformal Prediction for STL Runtime Verification under Distribution Shift. ICCPS Yiqi Zhao, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann
2024	—	`conf`	Robust STL Control Synthesis under Maximal Disturbance Sets. CDC Joris Verhagen, Lars Lindemann, Jana Tumova
2024	J	`jnl`	Robust STL Control Synthesis under Maximal Disturbance Sets. CoRR Joris Verhagen, Lars Lindemann, Jana Tumova
2024	C	`conf`	Safety Assurance for Autonomous Systems with Multiple Sensor Modalities. MEMOCODE Anand Balakrishnan, Rohit Bernard, Shreeram Narayanan, Vidisha Kudalkar, Yiqi Zhao, Parinitha Nagaraja, Georgi A. Markov, Christof J. Budnik, Helmut Degen, Lars Lindemann, Jyotirmoy V. Deshmukh
2024	—	`conf`	Scenario Approach and Conformal Prediction for Verification of Unknown Systems via Data-Driven Abstractions. ECC Rudi Coppola, Andrea Peruffo, Lars Lindemann, Manuel Mazo Jr.
2024	J	`jnl`	Sleep When Everything Looks Fine: Self-Triggered Monitoring for Signal Temporal Logic Tasks. IEEE Robotics Autom. Lett. Chuwei Wang, Xinyi Yu, Jianing Zhao, Lars Lindemann, Xiang Yin
2024	J	`jnl`	Statistical Reachability Analysis of Stochastic Cyber-Physical Systems Under Distribution Shift. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh
2024	J	`jnl`	Statistical Reachability Analysis of Stochastic Cyber-Physical Systems under Distribution Shift. CoRR Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh
2024	C	`conf`	Temporally Robust Multi-Agent STL Motion Planning in Continuous Time. ACC Joris Verhagen, Lars Lindemann, Jana Tumova
2023	—	`conf`	Adaptive Conformal Prediction for Motion Planning among Dynamic Agents. L4DC Anushri Dixit, Lars Lindemann, Skylar X. Wei, Matthew Cleaveland, George J. Pappas, Joel W. Burdick
2023	J	`jnl`	Combined Left and Right Temporal Robustness for Control Under STL Specifications. IEEE Control. Syst. Lett. Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas
2023	J	`jnl`	Combined Left and Right Temporal Robustness for Control under STL Specifications. CoRR Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas
2023	J	`jnl`	Conformal Prediction Regions for Time Series using Linear Complementarity Programming. CoRR Matthew Cleaveland, Insup Lee, George J. Pappas, Lars Lindemann
2023	—	`conf`	Conformal Prediction for STL Runtime Verification. Allerton Lars Lindemann, Xin Qin, Jyotirmoy V. Deshmukh, George J. Pappas
2023	—	`conf`	Conformal Prediction for STL Runtime Verification. ICCPS Lars Lindemann, Xin Qin, Jyotirmoy V. Deshmukh, George J. Pappas
2023	J	`jnl`	Conformal Predictive Safety Filter for RL Controllers in Dynamic Environments. CoRR Kegan J. Strawn, Nora Ayanian, Lars Lindemann
2023	J	`jnl`	Conformal Predictive Safety Filter for RL Controllers in Dynamic Environments. IEEE Robotics Autom. Lett. Kegan J. Strawn, Nora Ayanian, Lars Lindemann
2023	B	`conf`	Conformance Testing for Stochastic Cyber-Physical Systems. FMCAD Xin Qin, Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh
2023	J	`jnl`	Conformance Testing for Stochastic Cyber-Physical Systems. CoRR Xin Qin, Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh
2023	—	`conf`	Control of Nonlinear Systems Under Multiple Time-Varying Output Constraints: A Single Funnel Approach. CDC Farhad Mehdifar, Lars Lindemann, Charalampos P. Bechlioulis, Dimos V. Dimarogonas
2023	J	`jnl`	Control of Nonlinear Systems Under Multiple Time-Varying Output Constraints: A Single Funnel Approach. CoRR Farhad Mehdifar, Lars Lindemann, Charalampos P. Bechlioulis, Dimos V. Dimarogonas
2023	—	`conf`	Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference. CDC Navid Hashemi, Xin Qin, Lars Lindemann, Jyotirmoy V. Deshmukh
2023	J	`jnl`	Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference. CoRR Navid Hashemi, Xin Qin, Lars Lindemann, Jyotirmoy V. Deshmukh
2023	J	`jnl`	Distributed Sequential Receding Horizon Control of Multi-Agent Systems under Recurring Signal Temporal Logic. CoRR Eleftherios E. Vlahakis, Lars Lindemann, Dimos V. Dimarogonas
2023	—	`conf`	Efficient STL Control Synthesis Under Asynchronous Temporal Robustness Constraints. CDC Xinyi Yu, Xiang Yin, Lars Lindemann
2023	J	`jnl`	Efficient STL Control Synthesis under Asynchronous Temporal Robustness Constraints. CoRR Xinyi Yu, Xiang Yin, Lars Lindemann
2023	J	`jnl`	Multi-Modal Conformal Prediction Regions by Optimizing Convex Shape Templates. CoRR Renukanandan Tumu, Matthew Cleaveland, Rahul Mangharam, George J. Pappas, Lars Lindemann
2023	C	`conf`	Physics Constrained Motion Prediction with Uncertainty Quantification. IV Renukanandan Tumu, Lars Lindemann, Truong Nghiem, Rahul Mangharam
2023	J	`jnl`	Physics Constrained Motion Prediction with Uncertainty Quantification. CoRR Renukanandan Tumu, Lars Lindemann, Truong Nghiem, Rahul Mangharam
2023	J	`jnl`	Risk of Stochastic Systems for Temporal Logic Specifications. ACM Trans. Embed. Comput. Syst. Lars Lindemann, Lejun Jiang, Nikolai Matni, George J. Pappas
2023	J	`jnl`	Robust Conformal Prediction for STL Runtime Verification under Distribution Shift. CoRR Yiqi Zhao, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann
2023	—	`conf`	Safe Perception-Based Control Under Stochastic Sensor Uncertainty Using Conformal Prediction. CDC Shuo Yang, George J. Pappas, Rahul Mangharam, Lars Lindemann
2023	J	`jnl`	Safe Perception-Based Control under Stochastic Sensor Uncertainty using Conformal Prediction. CoRR Shuo Yang, George J. Pappas, Rahul Mangharam, Lars Lindemann
2023	J	`jnl`	Safe Planning in Dynamic Environments Using Conformal Prediction. IEEE Robotics Autom. Lett. Lars Lindemann, Matthew Cleaveland, Gihyun Shim, George J. Pappas
2023	J	`jnl`	Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction. CoRR Xinyi Yu, Yiqi Zhao, Xiang Yin, Lars Lindemann
2023	J	`jnl`	Sleep When Everything Looks Fine: Self-Triggered Monitoring for Signal Temporal Logic Tasks. CoRR Chuwei Wang, Xinyi Yu, Jianing Zhao, Lars Lindemann, Xiang Yin
2023	J	`jnl`	Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design. ACM Trans. Embed. Comput. Syst. Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas
2023	J	`jnl`	Temporally Robust Multi-Agent STL Motion Planning in Continuous Time. CoRR Joris Verhagen, Lars Lindemann, Jana Tumova
2022	J	`jnl`	Adaptive Conformal Prediction for Motion Planning among Dynamic Agents. CoRR Anushri Dixit, Lars Lindemann, Skylar Wei, Matthew Cleaveland, George J. Pappas, Joel W. Burdick
2022	—	`conf`	Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks. CDC Anton Xue, Lars Lindemann, Alexander Robey, Hamed Hassani, George J. Pappas, Rajeev Alur
2022	J	`jnl`	Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks. CoRR Anton Xue, Lars Lindemann, Alexander Robey, Hamed Hassani, George J. Pappas, Rajeev Alur
2022	J	`jnl`	Conformal Prediction for STL Runtime Verification. CoRR Lars Lindemann, Xin Qin, Jyotirmoy V. Deshmukh, George J. Pappas
2022	C	`conf`	Corridor MPC: Towards Optimal and Safe Trajectory Tracking. ACC Pedro Roque, Wenceslao Shaw-Cortez, Lars Lindemann, Dimos V. Dimarogonas
2022	J	`jnl`	Parametric Chordal Sparsity for SDP-based Neural Network Verification. CoRR Anton Xue, Lars Lindemann, Rajeev Alur
2022	J	`jnl`	Reactive and Risk-Aware Control for Signal Temporal Logic. IEEE Trans. Autom. Control. Lars Lindemann, George J. Pappas, Dimos V. Dimarogonas
2022	J	`jnl`	Risk Verification of Stochastic Systems with Neural Network Controllers. CoRR Matthew Cleaveland, Lars Lindemann, Radoslav Ivanov, George J. Pappas
2022	J	`jnl`	Risk of Stochastic Systems for Temporal Logic Specifications. CoRR Lars Lindemann, Lejun Jiang, Nikolai Matni, George J. Pappas
2022	J	`jnl`	Risk verification of stochastic systems with neural network controllers. Artif. Intell. Matthew Cleaveland, Lars Lindemann, Radoslav Ivanov, George J. Pappas
2022	C	`conf`	Risk-Bounded Temporal Logic Control of Continuous-Time Stochastic Systems. ACC Sleiman Safaoui, Lars Lindemann, Iman Shames, Tyler H. Summers
2022	J	`jnl`	Risk-Bounded Temporal Logic Control of Continuous-Time Stochastic Systems. CoRR Sleiman Safaoui, Lars Lindemann, Iman Shames, Tyler H. Summers
2022	J	`jnl`	Safe Planning in Dynamic Environments using Conformal Prediction. CoRR Lars Lindemann, Matthew Cleaveland, Gihyun Shim, George J. Pappas
2022	—	`conf`	Temporal Robustness of Stochastic Signals. HSCC Lars Lindemann, Alëna Rodionova, George J. Pappas
2022	J	`jnl`	Temporal Robustness of Stochastic Signals. CoRR Lars Lindemann, Alëna Rodionova, George J. Pappas
2022	J	`jnl`	Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design. CoRR Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas
2021	J	`jnl`	Barrier Function-based Collaborative Control of Multiple Robots under Signal Temporal Logic Tasks. CoRR Lars Lindemann, Dimos V. Dimarogonas
2021	J	`jnl`	Coupled Multi-Robot Systems Under Linear Temporal Logic and Signal Temporal Logic Tasks. IEEE Trans. Control. Syst. Technol. Lars Lindemann, Jakub Nowak, Lukas Schönbächler, Meng Guo, Jana Tumova, Dimos V. Dimarogonas
2021	—	`conf`	Learning Robust Hybrid Control Barrier Functions for Uncertain Systems. ADHS Alexander Robey, Lars Lindemann, Stephen Tu, Nikolai Matni
2021	J	`jnl`	Learning Robust Hybrid Control Barrier Functions for Uncertain Systems. CoRR Alexander Robey, Lars Lindemann, Stephen Tu, Nikolai Matni
2021	J	`jnl`	Learning Robust Output Control Barrier Functions from Safe Expert Demonstrations. CoRR Lars Lindemann, Alexander Robey, Lejun Jiang, Stephen Tu, Nikolai Matni
2021	J	`jnl`	Reactive and Risk-Aware Control for Signal Temporal Logic. CoRR Lars Lindemann, George J. Pappas, Dimos V. Dimarogonas
2021	—	`conf`	Robust Motion Planning in the Presence of Estimation Uncertainty. CDC Lars Lindemann, Matthew Cleaveland, Yiannis Kantaros, George J. Pappas
2021	J	`jnl`	Robust Motion Planning in the Presence of Estimation Uncertainty. CoRR Lars Lindemann, Matthew Cleaveland, Yiannis Kantaros, George J. Pappas
2021	—	`conf`	STL Robustness Risk over Discrete-Time Stochastic Processes. CDC Lars Lindemann, Nikolai Matni, George J. Pappas
2021	J	`jnl`	STL Robustness Risk over Discrete-Time Stochastic Processes. CoRR Lars Lindemann, Nikolai Matni, George J. Pappas
2021	—	`conf`	Time-Robust Control for STL Specifications. CDC Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas
2021	J	`jnl`	Time-Robust Control for STL Specifications. CoRR Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas
2020	J	`jnl`	Barrier Function Based Collaborative Control of Multiple Robots Under Signal Temporal Logic Tasks. IEEE Trans. Control. Netw. Syst. Lars Lindemann, Dimos V. Dimarogonas
2020	—	`conf`	Control Barrier Functions for Nonholonomic Systems under Risk Signal Temporal Logic Specifications. CDC Lars Lindemann, George J. Pappas, Dimos V. Dimarogonas
2020	J	`jnl`	Control Design for Risk-Based Signal Temporal Logic Specifications. CoRR Sleiman Safaoui, Lars Lindemann, Dimos V. Dimarogonas, Iman Shames, Tyler H. Summers
2020	J	`jnl`	Control Design for Risk-Based Signal Temporal Logic Specifications. IEEE Control. Syst. Lett. Sleiman Safaoui, Lars Lindemann, Dimos V. Dimarogonas, Iman Shames, Tyler H. Summers
2020	J	`jnl`	Decentralized Control Barrier Functions for Coupled Multi-Agent Systems under Signal Temporal Logic Tasks. CoRR Lars Lindemann, Dimos V. Dimarogonas
2020	C	`conf`	Efficient Automata-based Planning and Control under Spatio-Temporal Logic Specifications. ACC Lars Lindemann, Dimos V. Dimarogonas
2020	J	`jnl`	Event-triggered Feedback Control for Signal Temporal Logic Tasks. CoRR Lars Lindemann, Dipankar Maity, John S. Baras, Dimos V. Dimarogonas
2020	—	`conf`	Learning Control Barrier Functions from Expert Demonstrations. CDC Alexander Robey, Haimin Hu, Lars Lindemann, Hanwen Zhang, Dimos V. Dimarogonas, Stephen Tu, Nikolai Matni
2020	J	`jnl`	Learning Control Barrier Functions from Expert Demonstrations. CoRR Alexander Robey, Haimin Hu, Lars Lindemann, Hanwen Zhang, Dimos V. Dimarogonas, Stephen Tu, Nikolai Matni
2020	Misc	`conf`	Learning Hybrid Control Barrier Functions from Data. CoRL Lars Lindemann, Haimin Hu, Alexander Robey, Hanwen Zhang, Dimos V. Dimarogonas, Stephen Tu, Nikolai Matni
2020	J	`jnl`	Learning Hybrid Control Barrier Functions from Data. CoRR Lars Lindemann, Haimin Hu, Alexander Robey, Hanwen Zhang, Dimos V. Dimarogonas, Stephen Tu, Nikolai Matni
2020	—	`—`	Planning and Control of Multi-Agent Systems under Signal Temporal Logic Specifications. Lars Lindemann
2020	—	`conf`	Provably Safe Control of Lagrangian Systems in Obstacle-Scattered Environments. CDC Fernando S. Barbosa, Lars Lindemann, Dimos V. Dimarogonas, Jana Tumova
2020	J	`jnl`	Provably Safe Control of Lagrangian Systems in Obstacle-Scattered Environments. CoRR Fernando S. Barbosa, Lars Lindemann, Dimos V. Dimarogonas, Jana Tumova
2019	J	`jnl`	Control Barrier Functions for Multi-Agent Systems Under Conflicting Local Signal Temporal Logic Tasks. IEEE Control. Syst. Lett. Lars Lindemann, Dimos V. Dimarogonas
2019	J	`jnl`	Control Barrier Functions for Signal Temporal Logic Tasks. IEEE Control. Syst. Lett. Lars Lindemann, Dimos V. Dimarogonas
2019	—	`conf`	Decentralized Control Barrier Functions for Coupled Multi-Agent Systems under Signal Temporal Logic Tasks. ECC Lars Lindemann, Dimos V. Dimarogonas
2019	J	`jnl`	Efficient Automata-based Planning and Control under Spatio-Temporal Logic Specifications. CoRR Lars Lindemann, Dimos V. Dimarogonas
2019	J	`jnl`	Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks. Autom. Lars Lindemann, Dimos V. Dimarogonas
2019	—	`conf`	Integrated Motion Planning and Control Under Metric Interval Temporal Logic Specifications. ECC Fernando S. Barbosa, Lars Lindemann, Dimos V. Dimarogonas, Jana Tumova
2019	J	`jnl`	Robust control for signal temporal logic specifications using discrete average space robustness. Autom. Lars Lindemann, Dimos V. Dimarogonas
2018	C	`conf`	Decentralized Robust Control of Coupled Multi-Agent Systems under Local Signal Temporal Logic Tasks. ACC Lars Lindemann, Dimos V. Dimarogonas
2018	—	`conf`	Event-triggered Feedback Control for Signal Temporal Logic Tasks. CDC Lars Lindemann, Dipankar Maity, John S. Baras, Dimos V. Dimarogonas
2017	—	`conf`	Prescribed performance control for signal temporal logic specifications. CDC Lars Lindemann, Christos K. Verginis, Dimos V. Dimarogonas
2017	J	`jnl`	Robust Motion Planning employing Signal Temporal Logic. CoRR Lars Lindemann, Dimos V. Dimarogonas
2017	C	`conf`	Robust motion planning employing signal temporal logic. ACC Lars Lindemann, Dimos V. Dimarogonas
2016	J	`jnl`	Robust Control for Signal Temporal Logic Specifications using Average Space Robustness. CoRR Lars Lindemann, Dimos V. Dimarogonas
2011	C	`conf`	Integration of medical equipment into SOA - Enabling technology for efficient workflow management. ETFA Lars Lindemann, Mario Thron, Thomas Bangemann, Oliver S. Großer