@article{SASIAM13,
  title = "Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes",
  author = "{Esmaeil Zadeh Soudjani}, S. and Abate, A.",
  year = "2013",
  journal = "SIAM Journal on Applied Dynamical Systems",
  number = "2",
  pages = "921-956",
  url = "http://dx.doi.org/10.1137/120871456",
  volume = "12",
  doi = "10.1137/120871456",
}