Bhatt, Neel P.

Mm3dgs slam: Multi-modal 3d gaussian splatting for slam using vision, depth, and inertial measurements

Sun, L. C., Bhatt, N. P., Liu, J. C., Fan, Z., Wang, Z., Humphreys, T. E., & Topcu, U. (2024) · 2024 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)

Robotics and Sensor-Based Localization3D Surveying and Cultural Heritage

Cited by 34

VASO: Formally Verifiable Self-Evolving Skills for Physical AI Agents

Yang, Y., Bhatt, N. P., Wang, K., Tetteh, S., Wang, Z., & Topcu, U. (2026) · arXiv

Formal Methods in VerificationAI-based Problem Solving and Planning

Cited by 0