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

S Esmaeil Zadeh Soudjani; A Abate

doi:10.1137/120871456

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

S Esmaeil Zadeh Soudjani, A Abate

Team Bart De Schutter

Research output: Contribution to journal › Article › Scientific › peer-review

108 Citations (Scopus)

Original language	English
Pages (from-to)	921-956
Number of pages	36
Journal	SIAM Journal on Applied Dynamical Systems
Volume	12
Issue number	2
DOIs	https://doi.org/10.1137/120871456
Publication status	Published - 2013

Bibliographical note

NEO

Access to Document

10.1137/120871456

Cite this

@article{0357f1e91de84ee793cbf396a9d9d7bc,

title = "Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes",

author = "{Esmaeil Zadeh Soudjani}, S and A Abate",

note = "NEO",

year = "2013",

doi = "10.1137/120871456",

language = "English",

volume = "12",

pages = "921--956",

journal = "SIAM Journal on Applied Dynamical Systems",

issn = "1536-0040",

publisher = "Society of Industrial and Applied Mathematics",

number = "2",

}

TY - JOUR

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

AU - Esmaeil Zadeh Soudjani, S

AU - Abate, A

N1 - NEO

PY - 2013

Y1 - 2013

UR - http://resolver.tudelft.nl/uuid:bfc36534-6546-4173-be20-c08d0aff2ee7

U2 - 10.1137/120871456

DO - 10.1137/120871456

M3 - Article

SN - 1536-0040

VL - 12

SP - 921

EP - 956

JO - SIAM Journal on Applied Dynamical Systems

JF - SIAM Journal on Applied Dynamical Systems

IS - 2

ER -

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

Bibliographical note

Access to Document

Other files and links

Cite this