Probabilistic Model Checking method for robot Performance optimisation, 461-470.

Qi Zhang Weidong Tang Meiling Liu

Published in: Int. J. Robotics Autom. (2023)

Keyphrases

model checking
verification method
dynamic programming
formal verification
artificial intelligence
bayesian networks
search algorithm
computational complexity
temporal logic
binary decision diagrams