Lars Lindemann

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Temporal Robustness of Stochastic Signals 25th ACM International Conference on Hybrid Systems: Computation and Control	2024-02-21	Paper
Chordal sparsity for SDP-based neural network verification Automatica	2024-02-20	Paper
Reactive and Risk-Aware Control for Signal Temporal Logic IEEE Transactions on Automatic Control	2023-09-24	Paper
Risk verification of stochastic systems with neural network controllers Artificial Intelligence	2022-11-08	Paper
Barrier Function Based Collaborative Control of Multiple Robots Under Signal Temporal Logic Tasks IEEE Transactions on Control of Network Systems	2022-09-09	Paper
Funnel control for fully actuated systems under a fragment of signal temporal logic specifications Nonlinear Analysis. Hybrid Systems	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 Automatica	2019-12-19	Paper
Robust control for signal temporal logic specifications using discrete average space robustness Automatica	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