Automated Verification of Concurrent Stochastic Games
Attributed to:
Academic Centre of Excellence in Cyber Security Research - University of Birmingham
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-99154-2_14
Publication URI: http://dx.doi.org/10.1007/978-3-319-99154-2_14
Type: Book Chapter
Book Title: Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings (2018)
Page Reference: 223-239