Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes

S Esmaeil Zadeh Soudjani, A Abate

Research output: Contribution to journalArticleScientificpeer-review

69 Citations (Scopus)
Original languageEnglish
Pages (from-to)921-956
Number of pages36
JournalSIAM Journal on Applied Dynamical Systems
Volume12
Issue number2
DOIs
Publication statusPublished - 2013

Cite this