Lars Lindemann
Assistant Professor (Tenure Track)
Studies verification and control of autonomous systems, combining temporal-logic specifications with machine learning and conformal prediction for uncertainty quantification.
Lars Lindemann's lab at ETH Zurich works on autonomous vehicles & drones, planning, control & multi-robot systems and probabilistic & causal inference. 53 papers since 2023, 11 at top venues, mostly CDC and ICRA. 32 PhD students.
At a glance
- papers, 2023–2026
- 14/ year
- at T1 venues
- 21%
- PhD students
- 32
- MS students
- 0
- alumni listed
- —
Papers by yearfrom DBLP, 2023–2026
- 10 papers2026 · T1 5 · collecting
- 11 papers2025 · T1 3
- 19 papers2024 · T1 3
- 13 papers2023 · T1 0
T1 venuesOtherVenues: CDC, ICRA, L4DC, TAC, ACC
Research focuspaper titles that use each topic's words
- Planning, control & multi-robot systems36 papers
- specifications7 papers
- Probabilistic & causal inference3 papers
- Autonomous vehicles & drones1 paper
- uncertainty quantification1 paper
Paper list
From DBLP.
202610 papers
- TAC (T1)A Communication Consistent Approach to Signal Temporal Logic Task Decomposition in Multiagent Systems (opens in a new tab)
- QEST+FORMATSAn Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators (opens in a new tab)
- ICRA (T1)Latent Activation Editing: Inference-Time Refinement of Learned Policies for Safer Multirobot Navigation (opens in a new tab)
- ECCMetriplectic Conditional Flow Matching for Structure-Preserving Dynamics Learning (opens in a new tab)
- IEEE Control. Syst. Lett.Multi-Agent Temporal Logic Planning via Penalty Functions and Block-Coordinate Optimization (opens in a new tab)
- TAC (T1)Sampling-Based Planning Under STL Specifications: A Forward Invariance Approach (opens in a new tab)
- Autom.Signal temporal logic control synthesis among uncontrollable dynamic agents with conformal prediction (opens in a new tab)
- CAVSpatiotemporal Robustness of Temporal Logic Tasks Using Multi-Objective Reasoning (opens in a new tab)
- ICRA (T1)UMBRELLA: Uncertainty-aware Multi-robot Reactive Coordination under Dynamic Temporal Logic Tasks (opens in a new tab)
- ICRA (T1)V-MORALS: Visual Morse Graph-Aided Estimation of Regions of Attraction in a Learned Latent Space (opens in a new tab)
202511 papers
- CDCConformal Data-driven Control of Stochastic Multi-Agent Systems under Collaborative Signal Temporal Logic Specifications (opens in a new tab)
- RVConformal Predictive Monitoring for Multi-modal Scenarios (opens in a new tab)
- IROS (T1)Deep Equivariant Multi-Agent Control Barrier Functions (opens in a new tab)
- ACM Trans. Cyber Phys. Syst.Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications (opens in a new tab)
- CDCIncremental Composition of Learned Control Barrier Functions in Unknown Environments (opens in a new tab)
- CDCLatent Representations for Control Design with Provable Stability and Safety Guarantees (opens in a new tab)
- TAC (T1)Low-Complexity Control for a Class of Uncertain MIMO Nonlinear Systems Under Generalized Time-Varying Output Constraints (opens in a new tab)
- CDCNonconvex Obstacle Avoidance using Efficient Sampling-Based Distance Functions (opens in a new tab)
- NeuSPCA-DDReach: Efficient Statistical Reachability Analysis of Stochastic Dynamical Systems via Principal Component Analysis (opens in a new tab)
- ACM Trans. Embed. Comput. Syst.STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies (opens in a new tab)
- ICSE (T1)Trust Dynamics in AI-Assisted Development: Definitions, Factors, and Implications (opens in a new tab)
202419 papers
- Autom.Chordal sparsity for SDP-based neural network verification (opens in a new tab)
- ACCCommunication-Constrained STL Task Decomposition Through Convex Optimization (opens in a new tab)
- IEEE Control. Syst. Lett.Conformal Prediction for Distribution-Free Optimal Control of Linear Stochastic Systems (opens in a new tab)
- AAAI (T1)Conformal Prediction Regions for Time Series Using Linear Complementarity Programming (opens in a new tab)
- ICML (T1)Conformalized Adaptive Forecasting of Heterogeneous Trajectories (opens in a new tab)
- CDCDecentralized Control of Multi-Agent Systems Under Acyclic Spatio-Temporal Task Dependencies (opens in a new tab)
- ECCDistributed Sequential Receding Horizon Control of Multi-Agent Systems Under Recurring Signal Temporal Logic (opens in a new tab)
- CDCDistributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications (opens in a new tab)
- L4DCMulti-modal conformal prediction regions by optimizing convex shape templates (opens in a new tab)
- CDCProbabilistic Tube-based Control Synthesis of Stochastic Multi-Agent Systems under Signal Temporal Logic (opens in a new tab)
- IROS (T1)Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks (opens in a new tab)
- L4DCRecursively feasible shrinking-horizon MPC in dynamic environments with conformal prediction guarantees (opens in a new tab)
202313 papers
- L4DCAdaptive Conformal Prediction for Motion Planning among Dynamic Agents (opens in a new tab)
- IEEE Control. Syst. Lett.Combined Left and Right Temporal Robustness for Control Under STL Specifications (opens in a new tab)
- AllertonConformal Prediction for STL Runtime Verification (opens in a new tab)
- IEEE Robotics Autom. Lett.Conformal Predictive Safety Filter for RL Controllers in Dynamic Environments (opens in a new tab)
- FMCADConformance Testing for Stochastic Cyber-Physical Systems (opens in a new tab)
- CDCControl of Nonlinear Systems Under Multiple Time-Varying Output Constraints: A Single Funnel Approach (opens in a new tab)
- CDCData-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference (opens in a new tab)
- CDCEfficient STL Control Synthesis Under Asynchronous Temporal Robustness Constraints (opens in a new tab)
- IVPhysics Constrained Motion Prediction with Uncertainty Quantification (opens in a new tab)
- ACM Trans. Embed. Comput. Syst.Risk of Stochastic Systems for Temporal Logic Specifications (opens in a new tab)
- CDCSafe Perception-Based Control Under Stochastic Sensor Uncertainty Using Conformal Prediction (opens in a new tab)
- IEEE Robotics Autom. Lett.Safe Planning in Dynamic Environments Using Conformal Prediction (opens in a new tab)
Where alumni went
Alumni are not listed on the lab homepage.
Apply to ETH ZurichRolling
Not announced yet
Computer Science Doctorate (D-INFK)
- Round
- Rolling (no deadline)
- Opens
- —
- GRE
- See program page
- English
- Proficiency in written and spoken English
- Fee
- See program page
Confirmed on the program page.
Similar labsnearest by research summary
- CNSJTU
Yue Gao
- Manipulation & robot learning
- USUW
Siddhartha Srinivasa
- Manipulation & robot learning
- CNSJTU
Wenzhao Lian
- Manipulation & robot learning
- USGeorgia Tech
Animesh Garg
- Manipulation & robot learning
- USUMD
Yancy Diaz-Mercado
- Planning, control & multi-robot systems
- GBOxford
Niki Trigoni
- Embodied & active vision
Your notes
Save this lab to keep notes.
Data
Some numbers could not be verified:
- The alumni list could not be found on the lab site.
- This site is shared with other labs, so counts may overlap.
- Collected
- Verified
- Papers
- DBLP
- Members
- Lab homepage
- Alumni
- Not collected
This lab shares a website with other labs. Member and alumni counts may include them.
Tiers are venue classifications, not lab rankings.