Robert Givan

44 papers and 1.8k indexed citations i.

About

Robert Givan has authored 44 papers that have received a total of 1.8k indexed citations. This includes 36 papers in Artificial Intelligence, 14 papers in Computer Networks and Communications and 12 papers in Computational Theory and Mathematics. The topics of these papers are AI-based Problem Solving and Planning (17 papers), Reinforcement Learning in Robotics (11 papers) and Formal Methods in Verification (10 papers). Robert Givan is often cited by papers focused on AI-based Problem Solving and Planning (17 papers), Reinforcement Learning in Robotics (11 papers) and Formal Methods in Verification (10 papers) and collaborates with scholars based in United States, South Korea and Taiwan. Robert Givan's co-authors include Alan Fern, Sung‐Wook Yoon, David McAllester, Edwin K. P. Chong and Thomas Dean and has published in prestigious journals such as IEEE Transactions on Automatic Control, Artificial Intelligence and Journal of the ACM

In The Last Decade

Rankless by CCL
2025