Mathematical Models to Enable Building Trustworthy Robots and Autonomous Systems

Last updated 27th Feb 2020
Follow pinboard

CURATOR

A pinboard by Lavindra de Silva

Senior Researcher, Cambridge University, UK

PINBOARD SUMMARY

Novel Mathematical Models of Complex Behaviour in Robots and Autonomous Systems, to Enable their Verification for Trustworthiness.

Robots are taking over the world!

It is now more crucial than ever to be able to build trustworthy robots and autonomous systems.

This requires building mathematical models of these systems, and...