George J. Pappas

416 papers and 15.0k indexed citations i.

George J. Pappas has authored 416 papers that have received a total of 15.0k indexed citations. This includes 150 papers in Computer Networks and Communications, 125 papers in Control and Systems Engineering and 119 papers in Computational Theory and Mathematics. The topics of these papers are Formal Methods in Verification (95 papers), Distributed Multi-Agent Coordination and Control (85 papers) and Robotic Path Planning Algorithms (57 papers). George J. Pappas is often cited by papers focused on Formal Methods in Verification (95 papers), Distributed Multi-Agent Coordination and Control (85 papers) and Robotic Path Planning Algorithms (57 papers) and collaborates with scholars based in United States, Canada and Italy. George J. Pappas's co-authors include Paulo Tabuada, Vijay Kumar, Michael M. Zavlanos, Miroslav Pajić and Ali Jadbabaie and has published in prestigious journals such as Applied Physics Letters, IEEE Transactions on Automatic Control and Scientific Reports.