Skip to main content
placeholder image

Nested Reachability Approximation for Discrete-Time Markov Chains with Univariate Parameters

Conference Paper


Abstract


UOW Authors


  •   Guoxin Su
  •   Rosenblum, David (external author)

Publication Date


  • 2014

Citation


  • Su, G. & Rosenblum, D. (2014). Nested Reachability Approximation for Discrete-Time Markov Chains with Univariate Parameters. Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014 (pp. 364-379). Cham: Springer.

Ro Metadata Url


  • http://ro.uow.edu.au/eispapers1/162

Start Page


  • 364

End Page


  • 379

Place Of Publication


  • Cham

Abstract


UOW Authors


  •   Guoxin Su
  •   Rosenblum, David (external author)

Publication Date


  • 2014

Citation


  • Su, G. & Rosenblum, D. (2014). Nested Reachability Approximation for Discrete-Time Markov Chains with Univariate Parameters. Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014 (pp. 364-379). Cham: Springer.

Ro Metadata Url


  • http://ro.uow.edu.au/eispapers1/162

Start Page


  • 364

End Page


  • 379

Place Of Publication


  • Cham