Lars Lindemann

Available identifiers

zbMath Open lindemann.larsMaRDI QIDQ1737744

List of research outcomes

Publication	Date of Publication	Type
Temporal Robustness of Stochastic Signals	2024-02-21	Paper
Chordal sparsity for SDP-based neural network verification	2024-02-20	Paper
Reactive and Risk-Aware Control for Signal Temporal Logic	2023-09-24	Paper
Risk verification of stochastic systems with neural network controllers	2022-11-08	Paper
Barrier Function Based Collaborative Control of Multiple Robots Under Signal Temporal Logic Tasks	2022-09-09	Paper
Funnel control for fully actuated systems under a fragment of signal temporal logic specifications	2021-12-13	Paper
STL Robustness Risk over Discrete-Time Stochastic Processes	2021-04-03	Paper
Barrier Function-based Collaborative Control of Multiple Robots under Signal Temporal Logic Tasks	2021-02-04	Paper
Control Barrier Functions for Nonholonomic Systems under Risk Signal Temporal Logic Specifications	2020-04-05	Paper
Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks	2019-12-19	Paper
Robust control for signal temporal logic specifications using discrete average space robustness	2019-04-24	Paper
Decentralized Robust Control of Coupled Multi-Agent Systems under Local Signal Temporal Logic Tasks	2017-09-22	Paper
Prescribed Performance Control for Signal Temporal Logic Specifications	2017-03-21	Paper

Research outcomes over time

This page was built for person: Lars Lindemann