Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains
2014 ◽
Vol 17
(4)
◽
pp. 485-504
◽
2012 ◽
Vol 92
◽
pp. 122-136
◽
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):