Can Formal Verification Help Make Robotic Assistants Trustworthy?
Dr Clare Dixon from the University of Liverpool to present keynote address at Formal Verification 2017 – sharing her experiences from the EPSRC-funded Trustworthy Robot Assistants project June 1st 2017, Bristol, UK. - Test and Verification Solutions (T&VS) today announced details of the keynote presentation and the full program of technical presentations and panel discussion [...]