Publications

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

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

Contributions to Journals: Conference Articles

Online

https://ceur-ws.org/Vol-4142/

Open Access

http://aura.abdn.ac.uk/bitstreams/1551cdbb-82de-4c52-8848-8fad72f5e5d7/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

Open Access

http://aura.abdn.ac.uk/bitstreams/c7846450-ab13-4356-a2d1-8e32bb881881/download

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

Open Access

http://aura.abdn.ac.uk/bitstreams/eb62b1ff-a1bb-4523-9742-37490d08f674/download

Synthesising Minimum Cost Dynamic Norms

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

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Online

https://www.ijcai.org/proceedings/2025/0001.pdf

Open Access

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

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

Hypertension and total-order forward decomposition optimizations

Cecílio Magnaguagno, M., Meneguzzi, F., de Silva, L.

Autonomous Agents and Multi-Agent Systems, vol. 39, 24

Contributions to Journals: Articles

Digital Object Identifier

https://doi.org/10.1007/s10458-025-09705-9

Open Access

http://aura.abdn.ac.uk/bitstreams/ba480a4f-cfe3-47ba-86cc-dc121ad69f6f/download

Additional Links

View publication in Scopus