Verification of Learning Driven Probabilistic Planning

Lead Research Organisation: University of Birmingham
Department Name: School of Computer Science


Verifying the safety of planning techniques which are based on machine learning techniques. Investigating the applications of this verification, and how it can help understand the safety of these planning techniques, and provide guarantees.


10 25 50

Studentship Projects

Project Reference Relationship Related To Start End Student Name
EP/N509590/1 01/10/2016 30/09/2021
1913482 Studentship EP/N509590/1 01/10/2017 30/09/2020 James Alexander Kelly