Recognising Assumption Violations in Autonomous Systems Verification (2018)
Attributed to:
Verifiable Autonomy
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: http://ifaamas.org/Proceedings/aamas2018/pdfs/p1933.pdf
Type: Conference/Paper/Proceeding/Abstract