Evaluating probabilistic model checking tools for verification of robot control policies
Keyword(s):
Keyword(s):
2008 ◽
Vol 27
(2)
◽
pp. 403-407
◽
Keyword(s):
2019 ◽
Vol 9
(1)
◽
pp. 6694-6698
2017 ◽
pp. 254-275
Keyword(s):