04-20-2018 | Alice Miller: Probabilistic Model Checking for UAV Strategy Generation

Title #1: “Probabilistic Model Checking for UAV Strategy Generation”

Speaker #1: Alice Miller, Senior Lecturer, University of Glasgow (UK)

Date: Friday, April 20, 2018

Time: 1:30pm

Location: NIA, Room 137

Abstract: Alice will introduce probabilistic model checking with PRISM and describe how we used it to generate strategies for an Unmanned Ariel Vehicle (UAV). Specifically how we used advanced features of PRISM 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 University of Glasgow’s School of Engineering’s Micro Air Systems Technologies (MAST) Laboratory. Our generated strategies can now be used within simulation models (and ultimately for controllers in UAV 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).

Short bio: Alice Miller is a Senior Lecturer at the University of Glasgow (UK) and she has worked in the school since 1997, as a Post Doc, Daphne Jackson Fellow, Lecturer and Senior Lecturer. Before that, she worked in the Universities of East Anglia, Western Australia and Stirling. She possesses a PhD  in Number Theory and she has worked in Formal Verification for most of her research career. She is a member of the London Mathematical Society and the IET, and she is a Chartered Engineer. She is Deputy Head of School and a member of the School Executive. She leads the School’s Athena Swan working group.