Cyber Physical Systems
Cyber Physical Systems

Publications

Our projects have an impact in many different industries. Browse our publications to find out more
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
Property ownership formal modelling using Event-B and iUML-B
Manar Altamimi, Nawfal Al Hashimy, Asieh Salehi Fathabadi & Gary Wills, 2024
Type: conference