Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
Help or Hazard: Towards Verifying Autonomous Robot Systems
Home
Publications
Help or Hazard: Towards Verifying Autonomous Robot Systems
Help or Hazard: Towards Verifying Autonomous Robot Systems
CD
Clare Dixon
Clare Dixon
Publisher Website
Google Scholar
Cite
Download
Share
Download
21 October 2021
journal article
Published by
Open Publishing Association
in
Electronic Proceedings in Theoretical Computer Science
Vol. 348
https://doi.org/10.4204/eptcs.348.0.1
Abstract
No abstract available