Lehigh University — United States
Computer Science · Physical Sciences
1h-index22citations2works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Formal Methods in Verification(2), Software Testing and Debugging Techniques(2), Logic, programming, and type systems(1), Robotic Path Planning Algorithms(1)
Publications2 total
2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)·2021· 22 cited
arXiv (Cornell University)·2021Open Access
Frequent Co-authors
Disha Kamale(2), Cristian-Ioan Vasile(2)