Lars Lindemann
University of Southern California(US)ETH Zurich(CH)ZTE (United States)(US)Thomas University(US)
Publications by Year
Research Areas
Formal Methods in Verification, Particle physics theoretical and experimental studies, Quantum Chromodynamics and Particle Interactions, High-Energy Particle Collisions Research, Advanced Control Systems Optimization
Most-Cited Works
- → Control Barrier Functions for Signal Temporal Logic Tasks(2018)297 cited
- → Measurement of γp→K+Λ and γp→K+Σ0 at photon energies up to 2 GeV(1998)183 cited
- → Collisional energy transfer of vibrationally highly excited molecules. V. UV absorption study of azulene(1985)138 cited
- → Control Barrier Functions for Multi-Agent Systems Under Conflicting Local Signal Temporal Logic Tasks(2019)106 cited
- → Carbon-carbon and carbon-hydrogen bond splits of laser-excited aromatic molecules. 1. Specific and thermally averaged rate constants(1990)102 cited
- → Barrier Function Based Collaborative Control of Multiple Robots Under Signal Temporal Logic Tasks(2020)73 cited