|
[BMF+26]
Léonard Brice, Thomas A. Henzinger, Alipasha Montaseri, Ali Shafiee and K. S. Thejaswini.
Randomise Alone, Reach as a Team.
In Proc. 38th International Conference on Computer Aided Verification (CAV'26).
2026.
[Studies distributed randomisation in concurrent graph games, including an implementation building on PRISM-games.]
|
|
Links:
[Google]
[Google Scholar]
|