|
[LP20b]
Alessio Lomuscio and Edoardo Pirovano.
Verifying Fault-Tolerance in Probabilistic Swarm Systems.
In Proc. 29th International Joint Conference on Artificial Intelligence (IJCAI'20), pages 325-331.
2020.
[Presents techniques for formally analysing fault-tolerance in unbounded robotic swarms, with an implementation that builds on PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|