Sign in
Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems through Probabilistic Model Checking.
Yi Dong
Xingyu Zhao
Xiaowei Huang
Published in:
IROS (2022)
Keyphrases
</>
model checking
autonomous systems
reinforcement learning
temporal logic
finite state
formal verification
artificial intelligence
autonomous navigation
pspace complete
temporal properties
verification method
symbolic model checking
automated verification
model checker
transition systems
abstract interpretation