Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate. Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes. SIAM J. Applied Dynamical Systems, 12(2):921-956, 2013. [doi]
No references recorded for this publication.
No citations of this publication recorded.