Safe Networked Robotics with Probabilistic Verification

Sai Shankar Narasimhan, Sharachchandra Bhat, Sandeep P. Chinchali

Autonomous robots must utilize rich sensory data to make safe control decisions. To process this data, compute-constrained robots often require assistance from remote computation,…