Publications | The School of Natural and Computing Sciences

Automatic Synthesis of Dynamic Norms for Multi-Agent Systems

2022

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

Contributions to Conferences: Papers

The Complexity of Norm Synthesis and Revision

2022

Dell’Anna, D., Alechina, N., Dalpiaz, F., Dastani, M., Löffler, M., Logan, B.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Digital Object Identifier: https://doi.org/10.1007/978-3-031-20845-4_3
Additional Links: View publication in Scopus; https://coin-workshop.github.io/coine-2022-auckland/papers/paper-8.pdf; Link to COINE workshop

Extending Attack-Fault Trees with Runtime Verification

2022

Cardoso, R. C., Ferrando, A., Fisher, M.

Contributions to Journals: Conference Articles

Online: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?FMAS2022.14
Digital Object Identifier: https://doi.org/10.4204/EPTCS.371.14
Open Access: http://aura.abdn.ac.uk/bitstream/2164/21384/1/Cardoso_etal_EPTCS_Extending_Attack_Fault_VOR.pdf
Additional Links: View publication in Scopus

Resilience, reliability, and coordination in autonomous multi-agent systems

2022

Cardoso, R. C., Logan, B., Meneguzzi, F., Oren, N., Yun, B.

AI Communications, vol. 35, no. 4, pp. 339-356

Contributions to Journals: Articles

Digital Object Identifier: https://doi.org/10.3233/AIC-220136
Open Access: http://aura.abdn.ac.uk/bitstream/2164/19191/1/Cardoso_etal_AIC_Resilience_Reliability_And_AAM.pdf

Improving Reasoning Efficiency in ASPIC+ with Backwards Chaining and Partial Arguments

2022

Wu, H., Yun, B., Oren, N.

Contributions to Journals: Conference Articles

Online: https://ceur-ws.org/Vol-3236/paper7.pdf
Open Access: http://aura.abdn.ac.uk/bitstream/2164/23281/1/Wu_etal_CEURWP_Improving_Reasoning_Efficiency_VoR.pdf
Additional Links: View publication in Scopus; SAFA 2022 Proceedings

Bridging the gap between single- and multi-model predictive runtime verification

2022

Ferrando, A., Cardoso, R. C., Farrell, M., Luckcuck, M., Papacchini, F., Fisher, M., Mascardi, V.

Formal Methods in System Design, vol. 59, no. 1-3, pp. 44-76

Contributions to Journals: Articles

Digital Object Identifier: https://doi.org/10.1007/s10703-022-00395-7
Open Access: http://aura.abdn.ac.uk/bitstream/2164/21267/1/Ferrando_etal_FMSD_Bridging_The_Gap_VoR.pdf
Additional Links: View publication in Scopus

Automatic Synthesis of Dynamic Norms for Multi-Agent Systems

2022

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

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Digital Object Identifier: https://doi.org/10.24963/kr.2022/2
Additional Links: View publication in Scopus; https://iris.uniroma1.it/handle/11573/1659633

Multi-Agent Intention Progression with Reward Machines

2022

Dann, M., Yao, Y., Alechina, N., Logan, B., Thangarajah, J.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Digital Object Identifier: https://doi.org/10.24963/ijcai.2022/31
Additional Links: https://ijcai-22.org/main-track-accepted-papers/; https://www.ijcai-22.org/ijcai-2022-schedule/

Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract)∗

2022

De Giacomo, G., Felli, P., Logan, B., Patrizi, F., Sardina, S.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Digital Object Identifier: https://doi.org/10.24963/ijcai.2022/798
Additional Links: View publication in Scopus

Inverse Problems for Gradual Semantics

2022

Oren, N., Yun, B., Vesic, S., Baptista, M. S.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Digital Object Identifier: https://doi.org/10.24963/ijcai.2022/377
Additional Links: https://www.ijcai.org/proceedings/2022/0377.pdf