Scholar

Lars Lindemann

Google Scholar ID: AkVKyzkAAAAJ

Assistant Professor of Algorithmic Systems Theory, ETH Zürich

Systems and Control TheoryFormal MethodsMachine LearningAutonomous Systems

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

2,508

H-index

25

i10-index

45

Publications

20

Co-authors

52

list available

Contact

No contact links provided.

Publications

25 items

An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators

2026

Cited

0

Robust Conformal CBF and CLF Controllers via Iterative Policy Updates

2026

Cited

0

Vision-Based Runtime Monitoring under Varying Specifications using Semantic Latent Representations

2026

Cited

0

Multi-Variable Conformal Prediction: Optimizing Prediction Sets without Data Splitting

2026

Cited

0

UMBRELLA: Uncertainty-aware Multi-robot Reactive Coordination under Dynamic Temporal Logic Tasks

2026

Cited

0

V-MORALS: Visual Morse Graph-Aided Estimation of Regions of Attraction in a Learned Latent Space

2026

Cited

0

Multi-Agent Temporal Logic Planning via Penalty Functions and Block-Coordinate Optimization

2026

Cited

0

When Environments Shift: Safe Planning with Generative Priors and Robust Conformal Prediction

2026

Cited

0

Resume (English only)

Co-authors

52 total

Dimos Dimarogonas

KTH Royal Institute of Technology

UPS Foundation Professor, Electrical and Systems Engineering, University of Pennsylvania

Associate Professor of Electrical and Systems Engineering, University of Pennsylvania

Jyotirmoy V. Deshmukh

Associate Professor, University of Southern California

University of Southern California

Postdoc, Carnegie Mellon University