Fatma Faruq
- ffaruq@student.unimelb.edu.au
- University of Birmingham
Thesis Title
Verified multi-agent planning under uncertainty
Supervisors
Dave Parker (University of Birmingham)
Verified multi-agent planning under uncertainty
Dave Parker (University of Birmingham)