Zhe Xu

48 papers and 357 indexed citations i.

Zhe Xu has authored 48 papers that have received a total of 357 indexed citations. This includes 25 papers in Artificial Intelligence, 19 papers in Computational Theory and Mathematics and 15 papers in Control and Systems Engineering. The topics of these papers are Formal Methods in Verification (16 papers), Reinforcement Learning in Robotics (11 papers) and Machine Learning and Algorithms (5 papers). Zhe Xu is often cited by papers focused on Formal Methods in Verification (16 papers), Reinforcement Learning in Robotics (11 papers) and Machine Learning and Algorithms (5 papers) and collaborates with scholars based in United States, China and Germany. Zhe Xu's co-authors include A. Agung Julius, Ufuk Topcu, Joe H. Chow and Daniel Neider and has published in prestigious journals such as PLoS ONE, IEEE Transactions on Automatic Control and Scientific Reports