Tag: Probabilistic Model Checking

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…