[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.
]
|
Site hosted at the Department of Computer Science, University of Oxford