[Pir21]
Edoardo Pirovano.
Parameterised model checking of probabilistic multi-agent systems.
Ph.D. thesis, Imperial College London.
2021.
[Develops techniques for probabilistic verification of swarm robotics, implemented in a tool PSV which builds on top of PRISM.]
|
