Alice Miller (Glasgow): Probabilistic model checking for UAV strategy generation (School Seminar)

Event details

  • When: 10th April 2018 14:00 - 15:00
  • Where: Cole 1.33a
  • Series: School Seminar Series
  • Format: Seminar


I will describe how the PRISM model checker was used to generate strategies for an Unmanned Aerial Vehicle (UAV), specifically to determine search strategies for a UAV trying to find objects within a grid, for a range of scenarios. Parameters and probabilities for our models were informed by simulation models developed in the School of Engineering’s Micro Air Systems Technologies (MAST) Laboratory. Our generated controllers can now be used within the simulation models (and ultimately in UAV controller software).

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

Speaker Bio:

Alice Miller is a Senior Lecturer in Computing Science at the University of Glasgow. She works in Formal Methods and Graph Theory, with a particular interest in Symmetry. Before working at Glasgow she worked at the Universities of Western Australia, East Anglia and Stirling.