Currently viewing:
-
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