Safe Networked Robotics via Formal Verification. - Sai Shankar Narasimhan; Sharachchandra Bhat; Sandeep P. Chinchali (CoRR, 2023)

Co-design of communication and machine inference for cloud robotics. - Manabu Nakanoya; Sai Shankar Narasimhan; Sharachchandra Bhat; Alexandros Anemogiannis; Akul Datta; Sachin Katti; Sandeep Chinchali; Marco Pavone 001 (Auton. Robots, 2023)

Safe Networked Robotics With Probabilistic Verification. - Sai Shankar Narasimhan; Sharachchandra Bhat; Sandeep P. Chinchali (IEEE Robotics Autom. Lett., 2024)