2025
Real-Time Privacy Preservation for Robot Visual Perception.
CoRR, May, 2025

2024
Know Where You're Uncertain When Planning with Multimodal Foundation Models: A Formal Framework.
CoRR, 2024

On The Planning Abilities of OpenAI's o1 Models: Feasibility, Optimality, and Generalizability.
CoRR, 2024

Comp4D: LLM-Guided Compositional 4D Scene Generation.
CoRR, 2024

Fine-Tuning Language Models Using Formal Methods Feedback: A Use Case in Autonomous Systems.
Proceedings of the Seventh Annual Conference on Machine Learning and Systems, 2024

LiDAR-Based Navigation Using Normal Distributions Transform Filter.
Proceedings of the 27th IEEE International Conference on Intelligent Transportation Systems, 2024

MM3DGS SLAM: Multi-modal 3D Gaussian Splatting for SLAM Using Vision, Depth, and Inertial Measurements.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2024

2023
Fine-Tuning Language Models Using Formal Methods Feedback.
CoRR, 2023