On Specifying for Trustworthiness

Dhaminda B. Abeywickrama, Amel Bennaceur, Greg Chance +12

As autonomous systems (AS) increasingly become part of our daily lives, ensuring their trustworthiness is crucial. In order to demonstrate the trustworthiness of an AS, we first ne…