Lars Lindemann

Computational Theory and Mathematics · 2019

A researcher in the Science corpus: 1 paper; trusts 8 researchers and is trusted by 2 researchers here, as inferred from the citation graph.

Subfields

Whom Lars Lindemann trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Oded Maler
  2. Hadas Kress-Gazit
  3. Paul Glotfelter
  4. Roderick Bloem
  5. Georgios Fainekos
  6. Dejan Nickovic
  7. Aaron D. Ames
  8. Jorge Cortés
  9. George Pappas
  10. Barbara Jobstmann

Who trusts Lars Lindemann overall

  1. Wei Xiao
  2. Calin A. Belta

Papers from Lars Lindemann's perspective

Ordered by how strongly the researchers Lars Lindemann trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Control barrier function based quadratic programs with application to adaptive cruise control (IEEE Conference on Decision and Control)
  2. Monitoring Temporal Properties of Continuous Signals (FORMATS/FTRTFT)
  3. Barrier Lyapunov Functions for the control of output-constrained nonlinear systems (at - Automatisierungstechnik)
  4. Temporal logic motion planning for dynamic robots (at - Automatisierungstechnik)
  5. Temporal-Logic-Based Reactive Mission and Motion Planning (IEEE Transactions on robotics)
  6. Control Barrier Function Based Quadratic Programs for Safety Critical Systems (IEEE Transactions on Automatic Control)
  7. Nonsmooth Barrier Functions With Applications to Multi-Robot Systems (IEEE Control Systems Letters)
  8. Stabilization with guaranteed safety using Control Lyapunov-Barrier Function (at - Automatisierungstechnik)
  9. Synthesis of Reactive(1) designs (Journal of computer and system sciences (Print))
  10. Model predictive control with signal temporal logic specifications (IEEE Conference on Decision and Control)

Their papers