CyPhyAssure Spring School
This event has now finished.
Event details
“How can we use integrated formal methods to the maximum advantage for computer-assisted assurance of autonomous robots?”
AAIP is supporting this first spring school on computer-assisted assurance, targeted at early stage researchers:
- hear from world-leading academics speaking on assurance, robotics, and formal methods
- build your knowledge of a variety of computer-assisted assurance techniques
- develop new collaborations with industry and other academic institutions