Dr Anas Shrinah
Current positions
Senior Research Associate
School of Computer Science
Contact
Press and media
Many of our academics speak to the media as experts in their field of research. If you are a journalist, please contact the University’s Media and PR Team:
Publications
Recent publications
26/08/2020Goal-constrained planning domain model verification of safety properties
Goal-constrained planning domain model verification of safety properties
On the impact of different types of errors on trust in human-robot interaction
Interaction Studies
Thesis
Verification and Validation of Planning Domain Models
Supervisors
Award date
05/12/2023