|
[LP19]
Alessio Lomuscio and Edoardo Pirovano.
A Counter Abstraction Technique for the Verification of Probabilistic Swarm Systems.
In Proc. 18th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS'19), pages 161-169.
2019.
[Presents techniques for verification of probabilistic swarm systems developed as an extension of PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|