|
[HIM+16]
Ruth Hoffmann, Murray L. Ireland, Alice Miller, Gethin Norman and Sandor M. Veres.
Autonomous Agent Behaviour Modelled in PRISM - A Case Study.
In Proc. 23rd International Symposium on Model Checking Software (SPIN'16), pages 104-110.
2016.
[Describes the modelling and verification of an unmanned aerial vehicle (UAV) using PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|