Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Lars Lindemann
Map detail
Lars Lindemann25 visible / 25 total nodes / 80 links

Drag to move · Scroll or pinch to zoom · Select a node for details

Related contextRelated contextRelated contextRelated contextRelated contextRelated contextCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipWorks onWorks onWorks onAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalLars LindemannALars LindemannResearcherMulti-Variable Conformal Prediction: Optimizing Prediction Sets without Data SplittingWMulti-Variable Conforma...preprint / 2026Vision-Based Runtime Monitoring under Varying Specifications using Semantic Latent RepresentationsWVision-Based Runtime Mo...preprint / 2026Bardh HoxhaABardh HoxhaResearcherMarco C. CampiAMarco C. CampiResearcherOliver SchönAOliver SchönResearcherHideki OkamotoAHideki OkamotoResearcherGeorgios FainekosAGeorgios FainekosResearcherLaura LützowALaura LützowResearcherSimone GarattiASimone GarattiResearcherMatthias AlthoffAMatthias AlthoffResearcherMachine LearningTMachine Learning49008 worksTemporal Robustness of Stochastic SignalsWTemporal Robustness of ...preprint / 2022STL Robustness Risk over Discrete-Time Stochastic ProcessesWSTL Robustness Risk ove...preprint / 2022Barrier Function-based Collaborative Control of Multiple Robots under Signal Temporal Logic TasksWBarrier Function-based ...preprint / 2021Control Barrier Functions for Nonholonomic Systems under Risk Signal Temporal Logic SpecificationsWControl Barrier Functio...preprint / 2020Efficient Automata-based Planning and Control under Spatio-Temporal Logic SpecificationsWEfficient Automata-base...preprint / 2020Computer VisionTComputer Vision30606 worksRoboticsTRobotics7585 workseess.SYTeess.SY7081 worksChordal Sparsity for Lipschitz Constant Estimation of Deep Neural NetworksWChordal Sparsity for Li...preprint / 2024Chordal Sparsity for SDP-based Neural Network VerificationWChordal Sparsity for SD...preprint / 2024Risk-Bounded Temporal Logic Control of Continuous-Time Stochastic SystemsWRisk-Bounded Temporal L...preprint / 2022Provably Safe Control of Lagrangian Systems in Obstacle-Scattered EnvironmentsWProvably Safe Control o...preprint / 2020Control Design for Risk-Based Signal Temporal Logic SpecificationsWControl Design for Risk...preprint / 2020
Person24 links

Lars Lindemann

Researcher