Cyber Physical Systems About us 天发娱乐棋牌_天发娱乐APP-官网|下载 people Research projects Publications Seminars and events Join us Cyber Physical Systems Publications 天发娱乐棋牌_天发娱乐APP-官网|下载 projects have an impact in many different industries. Browse our publications to find out more Developing safe exception recovery mechanisms for CHERI capability hardware using UML-B formal analysis Colin Snook, Asieh Salehi Fathabadi, Son Hoang, Robert H Thorburn, Michael Butler, Leonardo Aniello & vladi Sassone, 2025 Type: conference Evolutionary data subset selection for class-Incremental learning on memory-constrained systems Epifanios Baikas, Danesh Tarapore & David Thomas, 2024 DOI: 10.1145/3638530.3654109 Type: conference Boosting reinforcement learning with strongly delayed feedback through auxiliary short delays Qingyuan Wu, Simon Sinong Zhan, Yixuan Wang, Yuhui Wang, Chung-Wei Lin, Chen Lv, Qi Zhu, Jurgen Schmidhuber & Chao Huang, 2024 Type: conference Designing exception handling using Event-B Asieh Salehi Fathabadi, Colin Snook, Thai Son Hoang, Robert Thorburn, Michael Butler, Leonardo Aniello & Vladimiro Sassone, 2024 Type: conference Event-B development of modelling human intervention request in self-driving vehicle systems Fahad Alotaibi, Thai Son Hoang, Asieh Salehi Fathabadi & Michael Butler, 2024 Type: conference Pagination Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7 Page 8 Page 9 … Next page Next ?