Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes

Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes

S. Esmaeil Zadeh Soudjani and A. Abate

Journal
SIAM Journal on Applied Dynamical Systems
Number
2
Pages
921−956
Volume
12
Year
2013

Links

See Also

Back to Top