Safe Networked Robotics with Probabilistic Verification

17 February 2023

Papers citing "Safe Networked Robotics with Probabilistic Verification"

2 / 2 papers shown

Title
PEERNet: An End-to-End Profiling Tool for Real-Time Networked Robotic Systems Aditya Narayanan Pranav Kasibhatla Minkyu Choi Po-han Li Ruihan Zhao Sandeep Chinchali 47 0 0 09 Sep 2024
Safe Reinforcement Learning via Probabilistic Logic Shields Wen-Chi Yang G. Marra Gavin Rens Luc de Raedt OffRL 46 30 0 06 Mar 2023