Alice Miller

Probabilistic model checking for UAV strategy generation

VCLA hosted a talk by Alice Miller

DATE:Wednesday, November 21, 2018
TIME:10:00 c.t.
VENUE:Meeting Room Menger, Favoritenstrasse 9-11 (HF 03 11)


Alice Miller will give a brief introduction to some modelling projects that she has been involved in over the years. In particular she will describe how the PRISM model checker was used to generate search strategies for an Unmanned Ariel Vehicle (UAV), for a range of scenarios. Parameters and probabilities for their models were informed by simulation models developed in the School of Engineering's Micro Air Systems Technologies (MAST) Laboratory. Their generated controllers can now be used within the simulation models (and ultimately in UAV software). She will also describe how symmetry can be used to extend their approach to larger search areas.

This is joint work with colleagues at the University of Glasgow, in the Schools of Computing Science (Gethin Norman, Ruth Hoffmann and Ruben Giaquinta) and Engineering (Murray Ireland).



Laura Kovacs

Alice Miller, University of Glasgow

Comments are closed.