56B60124-DEFD-4523-8085-DCFC5B27E3F3Trustworthy Robotic AssistantsResearch GrantEP/K006193/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL37889268A3E4A7-BF8A-4335-AEAC-1CA059C1CC24Critical Systems: Formal Methods and Automated Verification628da3ef5b857e44d0434eed96d31a72Gainer P2017-01-01http://dx.doi.org/10.1007/978-3-319-67113-0_82095-221Xhttp://dx.doi.org/10.1007/978-3-319-67113-0_8CRutoN: Automatic Verification of a Robotic Assistant's Behaviours119-133Book Chapter5a86b37d4dc9b6.33483302