Verification of Learning Driven Probabilistic Planning
Lead Research Organisation:
University of Birmingham
Department Name: School of Computer Science
Abstract
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.
Organisations
People |
ORCID iD |
David Parker (Primary Supervisor) | |
James Kelly (Student) |
Studentship Projects
Project Reference | Relationship | Related To | Start | End | Student Name |
---|---|---|---|---|---|
EP/N509590/1 | 30/09/2016 | 29/09/2021 | |||
1913482 | Studentship | EP/N509590/1 | 30/09/2017 | 29/09/2020 | James Kelly |