Marta Kwiatkowska, Gethin Norman, David Parker 0001, Gabriel Santos
Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games
FM, 2019.
@inproceedings{FM-2019-KwiatkowskaN0S,
author = "Marta Kwiatkowska and Gethin Norman and David Parker 0001 and Gabriel Santos",
booktitle = "{Third World Congress on Formal Methods: The Next 30 Years}",
doi = "10.1007/978-3-030-30942-8_19",
isbn = "['978-3-030-30941-1', '978-3-030-30942-8']",
pages = "298--315",
publisher = "{Springer}",
title = "{Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games}",
year = 2019,
}
Tags:
