Sharachchandra Bhat

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 3

Top Topics

Communication Overhead

Industrial Robots

Formal Verification

Probabilistic Approaches

Top Venues

IEEE Robotics Autom. Lett.

Publications

Sai Shankar Narasimhan, Sharachchandra Bhat, Sandeep P. Chinchali
Safe Networked Robotics With Probabilistic Verification. IEEE Robotics Autom. Lett. 9 (3) (2024)
Manabu Nakanoya, Sai Shankar Narasimhan, Sharachchandra Bhat, Alexandros Anemogiannis, Akul Datta, Sachin Katti, Sandeep Chinchali, Marco Pavone
Co-design of communication and machine inference for cloud robotics. Auton. Robots 47 (5) (2023)
Sai Shankar Narasimhan, Sharachchandra Bhat, Sandeep P. Chinchali
Safe Networked Robotics via Formal Verification. CoRR (2023)