Adaptive Gridding for Abstraction and Verification of Stochastic Hybrid Systems
2011 ◽
Vol 56
(11)
◽
pp. 2688-2694
◽
2005 ◽
Vol 15
(15)
◽
pp. 669-689
◽
Keyword(s):