Lars Lindemann

51 papers and 911 indexed citations i.

Lars Lindemann has authored 51 papers that have received a total of 911 indexed citations. This includes 27 papers in Computational Theory and Mathematics, 23 papers in Artificial Intelligence and 13 papers in Control and Systems Engineering. The topics of these papers are Formal Methods in Verification (27 papers), Advanced Control Systems Optimization (9 papers) and Distributed Multi-Agent Coordination and Control (8 papers). Lars Lindemann is often cited by papers focused on Formal Methods in Verification (27 papers), Advanced Control Systems Optimization (9 papers) and Distributed Multi-Agent Coordination and Control (8 papers) and collaborates with scholars based in United States, Sweden and Germany. Lars Lindemann's co-authors include Dimos V. Dimarogonas, George J. Pappas, H. Hippler, J. Troe and Nikolai Matni and has published in prestigious journals such as The Journal of Chemical Physics, The Journal of Physical Chemistry and IEEE Transactions on Automatic Control.