55 citations · 338 across the 26 of their papers we have counts for
Showing cs.ROShow all
3 papers · 1 filter
cs.RO2023
Bayesian Learning for the Robust Verification of Autonomous Robots
Xingyu Zhao, Simos Gerasimou, Radu Calinescu +3
Autonomous robots used in infrastructure inspection, space exploration and other critical missions operate in highly dynamic environments. As such, they must continually verify the…
cs.RO2022★ 1 cited
Reachability Verification Based Reliability Assessment for Deep Reinforcement Learning Controlled Robotics and Autonomous Systems
Yi Dong, Xingyu Zhao, Sen Wang +1
Deep Reinforcement Learning (DRL) has achieved impressive performance in robotics and autonomous systems (RAS). A key challenge to its deployment in real-life operations is the pre…
cs.RO2021★ 9 cited
Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems through Probabilistic Model Checking
Yi Dong, Xingyu Zhao, Xiaowei Huang
While Deep Reinforcement Learning (DRL) provides transformational capabilities to the control of Robotics and Autonomous Systems (RAS), the black-box nature of DRL and uncertain de…