Projects per year
Search results
-
Active
-
-
Finished
UKRI Trustworthy Autonomous Systems Node In Functionality
Windsor, S. P., Ives, J. C. S., Downer, J. R., Rossiter, J. M., Eder, K. I. & Hauert, S.
1/11/20 → 30/04/24
Project: Research, Parent
-
Advanced Verification for Safe and Trustworthy Robotic Assistants
1/12/16 → 15/07/17
Project: Research
-
-
-
-
ICT-Energy: Co-ordinating Research Efforts of the ICT-Energy Community
1/10/13 → 30/09/16
Project: Research
-
BKSF: Bristol Kyoto Strategic Fund
Yamazaki, D., Hollis, S. J., Kerrison, S. & Eder, K. I.
1/08/13 → 31/07/14
Project: Research
-
-
RIVERAS: Robust Integrated Verification of Autonomous Systems (EPSRC AIS Call)
21/01/13 → 20/06/19
Project: Research
-
-
MODELLING AND VERIFICATION OF INTERCONNECTS FOR SYSTEM ON-CHIP ARCHITECTURES
1/03/00 → 1/06/03
Project: Research