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