Edit Profile (opens in new tab) Lindemann, Lars Co-Author Distance Author ID: lindemann.lars Published as: Lindemann, Lars Documents Indexed: 18 Publications since 2017, including 10 Additional arXiv Preprints Co-Authors: 20 Co-Authors with 18 Joint Publications 484 Co-Co-Authors all top 5 Co-Authors 0 single-authored 12 Dimarogonas, Dimos V. 5 Pappas, George J. 4 Matni, Nikolai 3 Robey, Alexander 3 Tu, Stephen 2 Hu, Haimin 2 Zhang, Hanwen 1 Alur, Rajeev 1 Barbosa, Fernando S. 1 Bechlioulis, Charalampos P. 1 Cleaveland, Matthew 1 Deshmukh, Jyotirmoy V. 1 Ivanov, Radoslav 1 Mehdifar, Farhad 1 Rodionova, Alena 1 Tůmová, Jana 1 Verginis, Christos K. 1 Xue, Anton 1 Yu, Xinyi 1 Zhao, Yiqi Serials 3 Automatica 1 Artificial Intelligence 1 IEEE Transactions on Automatic Control 1 Nonlinear Analysis. Hybrid Systems 1 IEEE Transactions on Control of Network Systems Fields 6 Systems theory; control (93-XX) 3 Mathematical logic and foundations (03-XX) 3 Computer science (68-XX) 3 Operations research, mathematical programming (90-XX) 1 Biology and other natural sciences (92-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 3 Publications have been cited 12 times in 12 Documents Cited by ▼ Year ▼ Robust control for signal temporal logic specifications using discrete average space robustness. Zbl 1415.93092 Lindemann, Lars; Dimarogonas, Dimos V. 6 2019 Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks. Zbl 1429.93117 Lindemann, Lars; Dimarogonas, Dimos V. 5 2019 Barrier function based collaborative control of multiple robots under signal temporal logic tasks. Zbl 07583256 Lindemann, Lars; Dimarogonas, Dimos V. 1 2020 Barrier function based collaborative control of multiple robots under signal temporal logic tasks. Zbl 07583256 Lindemann, Lars; Dimarogonas, Dimos V. 1 2020 Robust control for signal temporal logic specifications using discrete average space robustness. Zbl 1415.93092 Lindemann, Lars; Dimarogonas, Dimos V. 6 2019 Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks. Zbl 1429.93117 Lindemann, Lars; Dimarogonas, Dimos V. 5 2019 all cited Publications top 5 cited Publications all top 5 Cited by 38 Authors 2 Dimarogonas, Dimos V. 2 Lindemann, Lars 1 Althoff, Matthias 1 Arabi, Ehsan 1 Bernini, Nicola 1 Bessa, Mikhail 1 Cardona, Gustavo A. 1 Chen, Hongkai 1 Delmas, Rémi 1 Dong, Weijie 1 Garg, Kunal 1 Gold, Arthur 1 Goubault, Eric 1 Gu, Dake 1 Jha, Susmit 1 Kamale, Disha 1 Kochdumper, Niklas 1 Li, Haitao 1 Li, Shaoyuan 1 Lin, Shan 1 Liu, Yindong 1 Mazo, Manuel jun. 1 Panagou, Dimitra 1 Paoletti, Nicola 1 Pennec, Romain 1 Putot, Sylvie 1 Sahai, Tuhin 1 Seshia, Sanjit Arunkumar 1 Shankar, Natarajan 1 Sillion, François X. 1 Smolka, Scott A. 1 Tiwari, Ashish Kumar 1 Vasile, Cristian Ioan 1 Verdier, Cees Ferdinand 1 Yang, Xinrong 1 Yin, Xiang 1 Yu, Xinyi 1 Zhang, Dawei Cited in 5 Serials 5 Automatica 1 Information Sciences 1 Formal Methods in System Design 1 Complexity 1 Nonlinear Analysis. Hybrid Systems all top 5 Cited in 7 Fields 11 Systems theory; control (93-XX) 4 Mathematical logic and foundations (03-XX) 4 Computer science (68-XX) 1 Probability theory and stochastic processes (60-XX) 1 Operations research, mathematical programming (90-XX) 1 Biology and other natural sciences (92-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year