|
[CKWW20]
Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger and Tobias Winkler.
Stochastic Games with Lexicographic Reachability-Safety Objectives.
In Proc. 32nd International Conference on Computer Aided Verification (CAV'20), volume 12225 of LNCS, pages 398-420, Springer.
2020.
[bib]
[Develops a solving lexicographic reachability-safety objectives on stochastic games, implemented as an extension of PRISM-games.]
|
|
Downloads:
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|