( en | de | ru )

 

Disambiguierung von "Lindemann, Lars"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks.

, , , , , und . CDC, Seite 3389-3396. IEEE, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Lars Lindemann

Lars Otto Lindemann

Bernd Larsonneur

Bertold Larsen

Niels Larsen

 

Weitere Publikationen von Autoren mit dem selben Namen

Adaptive Conformal Prediction for Motion Planning among Dynamic Agents., , , , , und . L4DC, Volume 211 von Proceedings of Machine Learning Research, Seite 300-314. PMLR, (2023)Sleep When Everything Looks Fine: Self-Triggered Monitoring for Signal Temporal Logic Tasks., , , , und . CoRR, (2023)Distributed Sequential Receding Horizon Control of Multi-Agent Systems under Recurring Signal Temporal Logic., , und . CoRR, (2023)Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification., , , , , , , und . CoRR, (2024)Learning Control Barrier Functions from Expert Demonstrations., , , , , , und . CDC, Seite 3717-3724. IEEE, (2020)Recursively Feasible Shrinking-Horizon MPC in Dynamic Environments with Conformal Prediction Guarantees., , und . CoRR, (2024)Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference., , , und . CDC, Seite 3102-3109. IEEE, (2023)Prescribed performance control for signal temporal logic specifications., , und . CDC, Seite 2997-3002. IEEE, (2017)Provably Safe Control of Lagrangian Systems in Obstacle-Scattered Environments., , , und . CDC, Seite 2056-2061. IEEE, (2020)Formal Verification and Control with Conformal Prediction., , , , und . CoRR, (2024)