Lars Lindemann

50 papers and 904 indexed citations i.

Lars Lindemann has authored 50 papers that have received a total of 904 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, J. Troe, H. Hippler and Manfred Morari and has published in prestigious journals such as The Journal of Chemical Physics, The Journal of Physical Chemistry and IEEE Transactions on Automatic Control.