8 citations · 23 across the 18 of their papers we have counts for
7 papers · 1 filter
VASO: Formally Verifiable Self-Evolving Skills for Physical AI Agents
Yunhao Yang, Neel P. Bhatt, Kevin Wang +3
Reusable robot skills are becoming the basic units through which embodied agents turn open-ended instructions into long-horizon physical behavior. We argue that, while foundation m…
RepV: Safety-Separable Latent Spaces for Scalable Neurosymbolic Plan Verification
Yunhao Yang, Neel P. Bhatt, Pranay Samineni +3
As AI systems migrate to safety-critical domains, verifying that their actions comply with well-defined rules remains a challenge. Formal methods provide provable guarantees but de…
UNCAP: Uncertainty-Guided Neurosymbolic Planning Using Natural Language Communication for Cooperative Autonomous Vehicles
Neel P. Bhatt, Po-han Li, Kushagra Gupta +7
Safe large-scale coordination of multiple cooperative connected autonomous vehicles (CAVs) hinges on communication that is both efficient and interpretable. Existing approaches eit…
VLN-Zero: Rapid Exploration and Cache-Enabled Neurosymbolic Vision-Language Planning for Zero-Shot Transfer in Robot Navigation
Neel P. Bhatt, Yunhao Yang, Rohan Siva +4
Rapid adaptation in unseen environments is essential for scalable real-world autonomy, yet existing approaches rely on exhaustive exploration or rigid navigation policies that fail…
Know Where You're Uncertain When Planning with Multimodal Foundation Models: A Formal Framework
Neel P. Bhatt, Yunhao Yang, Rohan Siva +3
Multimodal foundation models offer a promising framework for robotic perception and planning by processing sensory inputs to generate actionable plans. However, addressing uncertai…
WATonoBus: Field-Tested All-Weather Autonomous Shuttle Technology
Neel P. Bhatt, Ruihe Zhang, Minghao Ning +8
All-weather autonomous vehicle operation poses significant challenges, encompassing modules from perception and decision-making to path planning and control. The complexity arises…
Soft Constrained Autonomous Vehicle Navigation using Gaussian Processes and Instance Segmentation
Bruno H. Groenner Barbosa, Neel P. Bhatt, Amir Khajepour +1
This paper presents a generic feature-based navigation framework for autonomous vehicles using a soft constrained Particle Filter. Selected map features, such as road and landmark…