Collection of books in library

Publications

Our projects have an impact in many different industries. Browse our publications to find out more
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
DOI: 10.1007/978-3-031-63790-2_22
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
DOI: 10.1007/978-3-031-63790-2_3
Type: conference
Property ownership formal modelling using Event-B and iUML-B
Manar Altamimi, Nawfal Al Hashimy, Asieh Salehi Fathabadi & Gary Wills, 2024
DOI: 10.1007/978-3-031-63790-2_12
Type: conference
Semantics formalisation – from Event-B contexts to theories
Thai Son Hoang, Laurent Voisin, Karla Vanessa Morris Wright, Colin Snook & Michael Butler, 2024
Type: conference
Verifying HyperLTL properties in Event-B
Jean-Paul Bodeveix, Thomas Carle, Elie Fares, Mamoun Filali & Thai Son Hoang, 2024
DOI: 10.1007/978-3-031-63790-2_20
Type: conference
Formal specification of actual trust in multiagent systems
Michael Akintunde, Vahid Yazdanpanah, Asieh Fathabadi, Corina Cirstea, Mehdi Dastani & Luc Moreau, 2024
DOI: 10.3233/FAIA240179
Type: conference