Equilibria-based probabilistic model checking for concurrent stochastic games

Kwiatkowska, M., Norman, G. , Parker, D. and Santos, G. (2019) Equilibria-based probabilistic model checking for concurrent stochastic games. Lecture Notes in Computer Science, (Accepted for Publication)

[img] Text
189112.pdf - Accepted Version
Restricted to Repository staff only

428kB

Abstract

No abstract available.

Item Type:Articles
Status:Accepted for Publication
Refereed:Yes
Glasgow Author(s) Enlighten ID:Norman, Dr Gethin
Authors: Kwiatkowska, M., Norman, G., Parker, D., and Santos, G.
College/School:College of Science and Engineering > School of Computing Science
Journal Name:Lecture Notes in Computer Science
Publisher:Springer
ISSN:0302-9743
ISSN (Online):0302-9743

University Staff: Request a correction | Enlighten Editors: Update this record