Trustworthy Autonomous Systems (TAS): The Verifiability Approach

Autonomous systems are taking over the decision-making in many crucial aspects of our lives. Trust them will help users benefit from such without harming themselves. Establishing right level trust involves a holistic validation and verification process, accounting for as interactions with physical world human users. In this talk, I present ongoing effort to provide framework ensuring verifiability autonomous systems.