Verifiability Talk 31: Towards realtime autonomous overtaking planning using model checking
Speaker: Alice Miller (University of Glasgow)
Title: “Towards realtime autonomous overtaking planning using model checking”
Date: 07/04/2022 – Meeting Link
Time: 16:00-17:00 (BST)