Publications

TrafficSim: A Simulation Framework for the Scottish Rail Network in ROS2

Leslie, R., Earnshaw, C., Jam, F., Komnata, K., Maita, A., Cardoso, R. C.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Digital Object Identifier

https://doi.org/10.1007/978-3-032-11442-6_34

Open Access

http://aura.abdn.ac.uk/bitstreams/816b4ff4-39f7-4126-bc14-d477e2811812/download

Reliable Intention Selection in BDI Agents with Recovery Shields

Ferrando, A., Cardoso, R. C.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Digital Object Identifier

https://doi.org/10.3233/FAIA251228

A BDI Task-oriented Agent in Belief Space

Ichida, A. Y., Meneguzzi, F.

ACM Transactions on Autonomous and Adaptive Systems

Contributions to Journals: Articles

Digital Object Identifier

https://doi.org/10.1145/3770857

Synthesising Minimum Cost Dynamic Norms

Alechina, N., Logan, B., Perelli, G.

Contributions to Conferences: Papers

Open Access

http://aura.abdn.ac.uk/bitstreams/353aa81e-028d-4f89-85cc-4164f848a048/download

Run-time verification of robot-assisted surgery using visual input

Gogoladze, K., Alechina, N., van Jaarsveld, R., De Jong, R., Al Khalil, Y., Kuiper, G., Logan, B., Ruurda, J.

Contributions to Journals: Conference Articles

Open Access

http://aura.abdn.ac.uk/bitstreams/a87cb688-6afc-4f7a-b56e-f5ff90ac9657/download

Additional Links

https://ceur-ws.org/

Preface special issue on agents and robots for reliable engineered autonomy (AREA 2023)

Ferrando, A., Cardoso, R. C.

Annals of Mathematics and Artificial Intelligence, vol. 93, pp. 517-518

Contributions to Journals: Editorials

Digital Object Identifier

https://doi.org/10.1007/s10472-025-09991-9

Additional Links

Provided by the Springer Nature SharedIt content-sharing initiative

View publication in Scopus

Evaluating BDI Agents in ROS: From Basic Integration to Fault Tolerant Multi-Robot Systems

Du, Q., Cardoso, R. C.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Pushdown Reward Machines for Reinforcement Learning

Varricchione, G., Klassen, T. Q., Alechina, N., Dastani, M., Logan, B., McIlraith, S. A.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Patient-Centred Explainability in IVF Outcome Prediction

Sivaprasad, A., Reiter, E., McLernon, D., Tintarev, N., Bhattacharya, S., Oren, N.

Working Papers and Discussion Papers: Working Papers

Digital Object Identifier

https://doi.org/10.48550/arXiv.2506.18760

Generalised BDI Planning

Meneguzzi, F., Pereira, R. F., Oren, N.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Digital Object Identifier

https://doi.org/10.5555/3709347.3743782