Trustworthy Autonomous Systems Through Verifiability
Autor: | Mohammad Reza Mousavi, Ana Cavalcanti, Michael Fisher, Louise Dennis, Rob Hierons, Bilal Kaddouh, Effie Lai-Chong Law, Rob Richardson, Jan Oliver Ringer, Ivan Tyukin, Jim Woodcock |
---|---|
Rok vydání: | 2023 |
Předmět: | |
Zdroj: | Computer, 2023, Vol.56(2), pp.40-47 [Peer Reviewed Journal] |
Databáze: | OpenAIRE |
Externí odkaz: |