|
[LP20]
Alessio Lomuscio and Edoardo Pirovano.
Parameterised Verification of Strategic Properties in Probabilistic Multi-Agent Systems.
In Proc. 19th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'20), pages 762-770.
2020.
[Develops techniques and a tool for verifying parameterised probabilistic multi-agent systems, building upon PRISM and PRISM-games.]
|
|
Links:
[Google]
[Google Scholar]
|