RIVERAS: Robust Integrated Verification of Autonomous Systems (EPSRC AIS Call)

Project Details

StatusFinished
Effective start/end date21/01/1320/06/19