P
PaperPicks
Conferences
Researchers
Sponsors ♥
Lars Lindemann
5 papers at tracked venues · 3 at CORE A* · active 2024–2025
DBLP profile ↗
ORCID search ↗
Venues
IROS
×2
AAAI
×1
ICML
×1
ICSE
×1
Frequent coauthors
George J. Pappas
×2
Nikolaos Bousias
×1
Sadra Sabouri
×1
Philipp Eibl
×1
Xinyi Zhou
×1
Morteza Ziyadi
×1
Nenad Medvidovic
×1
Souti Chattopadhyay
×1
Matthew Cleaveland
×1
Insup Lee
×1
Yanfei Zhou
×1
Matteo Sesia
×1
Papers
Deep Equivariant Multi-Agent Control Barrier Functions
BibTeX ⧉
IROS 2025
·
Nikolaos Bousias
,
Lars Lindemann
,
George J. Pappas
Trust Dynamics in AI-Assisted Development: Definitions, Factors, and Implications
BibTeX ⧉
ICSE 2025
·
Sadra Sabouri
,
Philipp Eibl
,
Xinyi Zhou
,
Morteza Ziyadi
,
Nenad Medvidovic
,
Lars Lindemann
,
Souti Chattopadhyay
Conformal Prediction Regions for Time Series Using Linear Complementarity Programming
BibTeX ⧉
AAAI 2024
·
Matthew Cleaveland
,
Insup Lee
,
George J. Pappas
,
Lars Lindemann
Conformalized Adaptive Forecasting of Heterogeneous Trajectories
BibTeX ⧉
ICML 2024
·
Yanfei Zhou
,
Lars Lindemann
,
Matteo Sesia
Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks
BibTeX ⧉
IROS 2024
·
Farhad Nawaz
,
Shaoting Peng
,
Lars Lindemann
,
Nadia Figueroa
,
Nikolai Matni