Computer Science · Physical Sciences
16h-index736citations38works0.32yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Formal Methods in Verification(14), Autonomous Vehicle Technology and Safety(7), Robotic Path Planning Algorithms(5), Model-Driven Software Engineering Techniques(5), Advanced Control Systems Optimization(4)
Publications38 total
arXiv (Cornell University)·2025Open Access
arXiv (Cornell University)·2024Open Access
arXiv (Cornell University)·2024Open Access
arXiv (Cornell University)·2024· 1 citedOpen Access
arXiv (Cornell University)·2024· 1 citedOpen Access
arXiv (Cornell University)·2024Open Access
arXiv (Cornell University)·2024Open Access
arXiv (Cornell University)·2024Open Access
arXiv (Cornell University)·2022· 9 citedOpen Access
arXiv (Cornell University)·2021· 16 citedOpen Access
arXiv (Cornell University)·2021· 16 citedOpen Access
arXiv (Cornell University)·2020· 6 citedOpen Access
2020· 24 citedOpen Access
Springer tracts in advanced robotics·2016· 31 cited
2015· 20 cited
page 1 of 2Next →
Frequent Co-authors
Richard M. Murray(13), Ufuk Topcu(9), Gregory P. Meyer(9), Zaiwei Zhang(6), Yuning Chai(6), Tung Phan-Minh(5), Hongge Chen(5), Siddhartha S Srinivasa(5), D. Hayden(4), Ephrahim Garcia(3), Sammy Omari(3), Oscar Beijbom(3), Siva Karthik Mustikovela(3), Xin Huang(3), Paul Vernaza(3), Matthew Bryant(2), Forbes Howington(2), Ting-Sheng Chu(2), Momchil S. Tomov(2), Sang Uk Lee(2)