Computer Science · Physical Sciences
4h-index57citations17works0.22yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Formal Methods in Verification(9), Logic, Reasoning, and Knowledge(3), Reinforcement Learning in Robotics(2), Data Mining Algorithms and Applications(2), Robotic Path Planning Algorithms(2)
Publications17 total
arXiv (Cornell University)·2025Open Access
Nonlinear Analysis Hybrid Systems·2025· 1 citedOpen Access
arXiv (Cornell University)·2024Open Access
arXiv (Cornell University)·2024Open Access
arXiv (Cornell University)·2023Open Access
2023· 3 cited
2023· 10 citedOpen Access
arXiv (Cornell University)·2023· 3 citedOpen Access
arXiv (Cornell University)·2023Open Access
arXiv (Cornell University)·2022Open Access
2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)·2021· 22 cited
arXiv (Cornell University)·2021Open Access
Frequent Co-authors
Cristian-Ioan Vasile(15), Gustavo A. Cardona(4), Sofie Haesaert(4), Eleni Karyofylli(2), Nader Motee(2), Kaier Liang(2), Soran Parsa(1), Sariah Mghames(1), Kiyanoush Nazari(1), Tommaso Pardi(1), Aravinda Ramakrishnan Srinivasan(1), Gerhard Neumann(1), Marc Hanheide(1), Ghalamzan E. Amir(1), Guangyi Liu(1), Muhammad Arshad Khan(1), Max Kenney(1), Jack Painter(1), Riza Batista-Navarro(1), Amir Ghalamzan-E(1)