TY  - RPRT
TI  - Formal Specification and Analysis of Autonomous Systems under Partial Compliance
AU  - Jeremy Morse
AU  - Dejanira Araiza-Illan
AU  - Jonathan Lawry
AU  - Arthur Richards
AU  - Kerstin Eder
PY  - 2016
UR  - https://arxiv.org/abs/1603.01082
ID  - 1603.01082
ER  -