Symbolic model checking for factored probabilistic models

Deininger, D., Dimitrova, R. and Majumdar, R. (2016) Symbolic model checking for factored probabilistic models. In: Artho, C., Legay, A. and Peled, D., (eds.) Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016. Automated Technology for Verification and Analysis, 17-20 Oct 2016, Chiba, Japan. Lecture Notes in Computer Science (9938). Springer , pp. 444-460. ISBN 9783319465197

Abstract

Metadata

Authors/Creators:
  • Deininger, D.
  • Dimitrova, R.
  • Majumdar, R.
Copyright, Publisher and Additional Information: © 2016 Springer International Publishing.
Dates:
  • Published (online): 22 September 2016
  • Published: 22 September 2016
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 04 Feb 2020 12:10
Last Modified: 04 Feb 2020 12:10
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science
Refereed: Yes
Identification Number: https://doi.org/10.1007/978-3-319-46520-3_28

Download not available

A full text copy of this item is not currently available from White Rose Research Online

Share / Export

Statistics