Our Research Projects

Verification of Autonomous Systems with Communication Imperfections

This is a historic project which has previously made use of HPC facilities at Newcastle University.

Project Contacts

For further information about this project, please contact:


Project Description

We are using Matlab, Python, and command line tools with parallel computing and large amounts of RAM


Software or Compute Methods

We are using Matlab, Python, and command line tools with parallel computing and large amounts of RAM