|
[LP18]
Alessio Lomuscio and Edoardo Pirovano.
Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems.
In Proc. 27th International Joint Conference on Artificial Intelligence and 23rd European Conference on Artificial Intelligence (IJCAI-ECAI'18), AAAI Press.
2018.
https://www.ijcai.org/proceedings/2018/0056.pdf
[Proposes verification techniques for probabilistic swarm systems, including an implementation that uses PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|
|
Available from:
https://www.ijcai.org/proceedings/2018/0056.pdf
|