Lars Lindemann

1. Learning Robust Output Control Barrier Functions from Safe Expert Demonstrations
   2021/11/18 by Lars Lindemann, Alexander Robey, Lindemann, Lars +8 · 8 citations
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Control Systems and Identification #FOS: Computer and information sciences #FOS: Electrical engineering #Fault Detection and Control Systems #Machine Learning (cs.LG) #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Adaptive Conformal Prediction for Motion Planning among Dynamic Agents
   2022/12/01 by Anushri Dixit, Lars Lindemann, Dixit, Anushri +9 · 9 citations
   Engineering · #Advanced Control Systems Optimization #FOS: Computer and information sciences #FOS: Electrical engineering #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
3. Formal Verification and Control with Conformal Prediction
   2024/08/31 by Lars Lindemann, Lindemann, Lars, Yiqi Zhao +7 · 14 citations
   Computer Science · Engineering · #Formal Methods in Verification #Advanced Control Systems Optimization #Real-time simulation and control systems
4. Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction
   2023/12/07 by Xinyi Yu, Yu, Xinyi, Yiqi Zhao +5 · 6 citations
   Computer Science · #Bayesian Modeling and Causal Inference #FOS: Electrical engineering #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Systems and Control (eess.SY) #electronic engineering #information engineering
5. Conformal Prediction for STL Runtime Verification
   2022/11/03 by Lars Lindemann, Lindemann, Lars, Jyotirmoy V. Deshmukh +4 · 5 citations
   Computer Science · Engineering · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Robotics (cs.RO) #Safety Systems Engineering in Autonomy #Software Reliability and Analysis Research #Systems and Control (eess.SY) #electronic engineering #information engineering
6. Learning Hybrid Control Barrier Functions from Data
   2020/11/08 by Lars Lindemann, Lindemann, Lars, Haimin Hu +11 · 4 citations
   Engineering · #Advanced Control Systems Optimization #Fault Detection and Control Systems #Smart Grid Security and Resilience
7. Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification
   2024/03/27 by Prithvi Akella, Akella, Prithvi, Anushri Dixit +13 · 6 citations
   Medicine · #FOS: Computer and information sciences #FOS: Electrical engineering #Healthcare Technology and Patient Monitoring #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
8. Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference
   2023/09/17 by Navid Hashemi, Hashemi, Navid, Xin Qin +5 · 5 citations
   Computer Science · Engineering · #FOS: Computer and information sciences #FOS: Electrical engineering #Fault Detection and Control Systems #Gaussian Processes and Bayesian Inference #Machine Learning (cs.LG) #Machine Learning and Algorithms #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
9. Barrier Function-based Collaborative Control of Multiple Robots under\n Signal Temporal Logic Tasks
   2021/02/04 by Lars Lindemann, Dimos V. Dimarogonas, Lindemann, Lars +1 · 3 citations
   Computer Science · Engineering · #Distributed Control Multi-Agent Systems #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Modular Robots and Swarm Intelligence #Optimization and Control (math.OC) #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
10. Conformalized Adaptive Forecasting of Heterogeneous Trajectories
    2024/02/14 by Yan‐Fei Zhou, Lars Lindemann, Zhou, Yanfei +3 · 5 citations
    Engineering · #Traffic Prediction and Management Techniques
11. Prescribed Performance Control for Signal Temporal Logic Specifications
    2017/03/21 by Lars Lindemann, Lindemann, Lars, Christos K. Verginis +3 · 2 citations
    Computer Science · #Distributed systems and fault tolerance #FOS: Mathematics #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Optimization and Control (math.OC)
12. Recursively Feasible Shrinking-Horizon MPC in Dynamic Environments with Conformal Prediction Guarantees
    2024/05/17 by Charis Stamouli, Stamouli, Charis, Lars Lindemann +3 · 5 citations
    Engineering · Materials Science · #Advanced Control Systems Optimization #Catalytic Processes in Materials Science
13. Risk Verification of Stochastic Systems with Neural Network Controllers
    2022/08/26 by Matthew Cleaveland, Lars Lindemann, Cleaveland, Matthew +5 · 3 citations
    Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #FOS: Electrical engineering #Fault Detection and Control Systems #Machine Learning (cs.LG) #Systems and Control (eess.SY) #electronic engineering #information engineering
14. Risk of Stochastic Systems for Temporal Logic Specifications
    2022/05/28 by Lars Lindemann, Lindemann, Lars, Lejun Jiang +5 · 2 citations
    Computer Science · Engineering · #Autonomous Vehicle Technology and Safety #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Systems and Control (eess.SY) #electronic engineering #information engineering
15. Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks
    2022/04/02 by Anton Xue, Xue, Anton, Lars Lindemann +9 · 2 citations
    Engineering · Computer Science · #Sparse and Compressive Sensing Techniques #Adversarial Robustness in Machine Learning #Machine Learning and Algorithms
16. Conformal Predictive Programming for Chance Constrained Optimization
    2024/02/12 by Yiqi Zhao, Xinyi Yu, Zhao, Yiqi +6 · 3 citations
    Computer Science · Engineering · #Advanced Control Systems Optimization #Advanced Multi-Objective Optimization Algorithms #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Optimization and Control (math.OC) #Optimization and Mathematical Programming #Systems and Control (eess.SY) #electronic engineering #information engineering
17. Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
    2023/11/16 by Yiqi Zhao, Zhao, Yiqi, Bardh Hoxha +7 · 3 citations
    Computer Science · Decision Sciences · #Software Reliability and Analysis Research #Formal Methods in Verification #Simulation Techniques and Applications
18. Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications
    2024/09/05 by Arash Bahari Kordabad, Eleftherios E. Vlahakis, Kordabad, Arash Bahari +7 · 2 citations
    Computer Science · #Advanced Database Systems and Queries #FOS: Electrical engineering #FOS: Mathematics #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
19. Statistical Reachability Analysis of Stochastic Cyber-Physical Systems under Distribution Shift
    2024/07/16 by Navid Hashemi, Lars Lindemann, Hashemi, Navid +3 · 2 citations
    Computer Science · Engineering · #Advanced Data Processing Techniques #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Robotics (cs.RO) #Signal Processing (eess.SP) #Smart Grid Security and Resilience #Software Reliability and Analysis Research #Systems and Control (eess.SY) #electronic engineering #information engineering
20. Sleep When Everything Looks Fine: Self-Triggered Monitoring for Signal Temporal Logic Tasks
    2023/11/27 by Chuwei Wang, Wang, Chuwei, Xinyi Yu +7 · 1 citation
    Computer Science · #Advanced Software Engineering Methodologies #FOS: Electrical engineering #Formal Methods in Verification #Real-Time Systems Scheduling #Systems and Control (eess.SY) #electronic engineering #information engineering
21. Deep Equivariant Multi-Agent Control Barrier Functions
    2025/06/09 by Nikolaos Bousias, Bousias, Nikolaos, Lars Lindemann +3 · 2 citations
    Computer Science · #Reinforcement Learning in Robotics #Adversarial Robustness in Machine Learning #Advanced Graph Neural Networks
22. Conformal Data-driven Control of Stochastic Multi-Agent Systems under Collaborative Signal Temporal Logic Specifications
    2025/04/06 by Eleftherios E. Vlahakis, Lars Lindemann, Vlahakis, Eleftherios E. +3 · 1 citation
    Biochemistry, Genetics and Molecular Biology · Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Gene Regulatory Network Analysis #Multiagent Systems (cs.MA) #Systems and Control (eess.SY) #electronic engineering #information engineering
23. Learning Input-Constrained Funnel Controllers from State Trajectory Data
    2026/07/26 by Panagiotis S. Trakas, Omid Mirzaeedodangeh, Lars Lindemann
    #eess.SY #cs.SY