2 papers
cs.RO2026
TiPToP: A Modular Open-Vocabulary Robot Manipulation System That Plans
William Shen, Nishanth Kumar, Sahit Chintalapudi +8
We present TiPToP, a modular manipulation system that integrates pretrained foundation models with a GPU-accelerated Task and Motion Planner to solve tasks directly from RGB images…
cs.LG2025
Scenario-based Compositional Verification of Autonomous Systems with Neural Perception
Christopher Watson, Rajeev Alur, Divya Gopinath +2
Recent advances in deep learning have enabled the development of autonomous systems that use deep neural networks for perception. Formal verification of these systems is challengin…