CRutoN: Automatic Verification of a Robotic Assistant’s Behaviours

P. Gainer, C. Dixon, K. Dautenhahn, M. Fisher, U. Hustadt, J. Saunders, Matt Webster

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Original languageEnglish
Title of host publicationCritical Systems
Subtitle of host publication Formal Methods and Automated Verification
Publication statusPublished - 2017

Cite this