Lars Lindemann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
10
Active years
2011–2026
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Spatiotemporal Robustness of Temporal Logic Tasks Using Multi-Objective Reasoning. | Oliver Schn, Lars Lindemann |
| 2025 | IROS | Deep Equivariant Multi-Agent Control Barrier Functions. | Nikolaos Bousias, Lars Lindemann, George J. Pappas |
| 2025 | ICSE | Trust Dynamics in AI-Assisted Development: Definitions, Factors, and Implications. | Sadra Sabouri, Philipp Eibl, Xinyi Zhou, Morteza Ziyadi, Nenad Medvidovic, Lars Lindemann, Souti Chattopadhyay |
| 2025 | RV | Conformal Predictive Monitoring for Multi-modal Scenarios. | Francesca Cairoli, Luca Bortolussi, Jyotirmoy V. Deshmukh, Lars Lindemann, Nicola Paoletti |
| 2024 | AAAI | Conformal Prediction Regions for Time Series Using Linear Complementarity Programming. | Matthew Cleaveland, Insup Lee, George J. Pappas, Lars Lindemann |
| 2024 | ICML | Conformalized Adaptive Forecasting of Heterogeneous Trajectories. | Yanfei Zhou, Lars Lindemann, Matteo Sesia |
| 2024 | IROS | Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks. | Farhad Nawaz, Shaoting Peng, Lars Lindemann, Nadia Figueroa, Nikolai Matni |
| 2024 | MEMOCODE | Safety Assurance for Autonomous Systems with Multiple Sensor Modalities. | Anand Balakrishnan, Rohit Bernard, Shreeram Narayanan, Vidisha Kudalkar, Yiqi Zhao, Parinitha Nagaraja, Georgi A. Markov, Christof J. Budnik, Helmut Degen, Lars Lindemann, Jyotirmoy V. Deshmukh |
| 2023 | FMCAD | Conformance Testing for Stochastic Cyber-Physical Systems. | Xin Qin, Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh |
| 2020 | CoRL | Learning Hybrid Control Barrier Functions from Data. | Lars Lindemann, Haimin Hu, Alexander Robey, Hanwen Zhang, Dimos V. Dimarogonas, Stephen Tu, Nikolai Matni |
| 2011 | ETFA | Integration of medical equipment into SOA - Enabling technology for efficient workflow management. | Lars Lindemann, Mario Thron, Thomas Bangemann, Oliver S. Groer |