[LP22]
Alessio Lomuscio and Edoardo Pirovano.
A counter abstraction technique for verifying properties of probabilistic swarm systems.
Artificial Intelligence, 305.
2022.
[Presents techniques for verification of probabilistic swarm systems developed as an extension of PRISM.
]
|