Trustworthy Autonomous Systems Through Verifiability
Mohammad Reza Mousavi(King's College London), Jim Woodcock(Southwest University), Effie Lai‐Chong Law(Human Computer Interaction (Switzerland)), Louise A. Dennis(University of Manchester), Ivan Tyukin(Skolkovo Institute of Science and Technology), Michael Fisher(University of Manchester), Ana Cavalcanti(Royal Academy of Engineering), Bilal Kaddouh(University of Leeds), Rob Richardson(University of Leeds), Jan Oliver Ringer(King's College London), Robert M. Hierons(University of Sheffield)
Cited by 8
Related Papers
Formal methods
|ACM Computing Surveys|2009|662
Advances in Data Preprocessing for Biomedical Data Fusion: An Overview of the Methods, Challenges, and Prospects
|Information Fusion|2021|243
Blessing of dimensionality: mathematical foundations of the statistical physics of data
|Figshare|2018|144
Approximation with random bases: Pro et Contra
|Information Sciences|2015|140
Semi-passivity and synchronization of diffusively coupled neuronal oscillators
|Physica D Nonlinear Phenomena|2009|140