Autonomous systems promise to improve our lives; driverless trains and robotic cleaners are examples of autonomous systems that are already among us and work well within confined environments. It is time we work to ensure developers can design trustworthy autonomous systems for dynamic environments and provide evidence of their trustworthiness.
Our Verifiability Node will develop novel rigorous techniques that automate the systematic and holistic verification of autonomous systems: their increasing technological significance ensures that advances will have a real impact.
The Node provides a focal point for verification
research in the area of autonomous systems, linking
to national and international initiatives.