Lars Lindemann

KTH Royal Institute of Technology, University of Pennsylvania, University of Southern California

Papers

13

Total Citations

576

H-Index

7

About

No biography available yet.

Research Focus

Computer science13 · 576 citations
Artificial intelligence12 · 569 citations
Temporal logic10 · 560 citations
Theoretical computer science9 · 557 citations
Control (management)9 · 533 citations
Control theory (sociology)6 · 520 citations
Engineering6 · 513 citations
Control engineering4 · 498 citations
Linear temporal logic5 · 464 citations
SIGNAL (programming language)4 · 461 citations
Programming language5 · 397 citations
Controller (irrigation)2 · 313 citations

Key Achievements

7
H-Index
13
Papers
576
Total Citations
44
Avg Citations/Paper
🏆 Most Cited Paper
Control Barrier Functions for Signal Temporal Logic Tasks
307 citations · 2018
📈 Most Prolific Year: 2019 (2 Papers)
🤝 Key Collaborators: 31
🏛 Institutions: KTH Royal Institute of Technology, University of Pennsylvania, University of Southern California

Top Papers

  1. 1
    Control Barrier Functions for Signal Temporal Logic Tasks
    307 citations · 2018
  2. 2
    Barrier Function Based Collaborative Control of Multiple Robots Under Signal Temporal Logic Tasks
    74 citations · 2020
  3. 3
    Robust control for signal temporal logic specifications using discrete average space robustness
    66 citations · 2019
  4. 4
    Prescribed performance control for signal temporal logic specifications
    51 citations · 2017
  5. 5
    Coupled Multi-Robot Systems Under Linear Temporal Logic and Signal Temporal Logic Tasks
    29 citations · 2019
  6. 6
    Combined Left and Right Temporal Robustness for Control Under STL Specifications
    20 citations · 2022
  7. 7
    Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification [Focus on Education]
    8 citations · 2025
  8. 8
    Efficient STL Control Synthesis Under Asynchronous Temporal Robustness Constraints
    7 citations · 2023
  9. 9
    Conformal Predictive Safety Filter for RL Controllers in Dynamic Environments
    6 citations · 2023
  10. 10
    Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks
    3 citations · 2024

Key Collaborators

DVDimos V. Dimarogonas6 shared papersGJGeorge J. Pappas3 shared papersMGMeng Guo1 shared papersNMNikolai Matni1 shared papersJTJana Tůmová1 shared papersGFGeorgios Fainekos1 shared papersJVJyotirmoy V. Deshmukh1 shared papersJVJyotirmoy V. Deshmukh1 shared papersARAlëna Rodionova1 shared papersXYXinyi Yu1 shared papersJNJakub Nowak1 shared papersJWJoel W. Burdick1 shared papersKJKegan J. Strawn1 shared papersNFNadia Figueroa1 shared papersYZYiqi Zhao1 shared papersADAaron D. Ames1 shared papersFNFarhad Nawaz1 shared papersXJXiao Jin Yu1 shared papersMPMargaret P. Chapman1 shared papersSPShaoting Peng1 shared papers
Not generated yet