Publications related to Agents

1. M. Xu, B. Archibald M. Calder, M. Sevegnani.
Quantitative Modelling and Analysis of BDI Agents.
Software and Systems Modeling, 2023.

2. M. Xu, B. Archibald M. Calder, M. Sevegnani.
Quantitative Verification and Strategy Synthesis for BDI Agents.
NASA Formal Methods Symposium (NFM 2023), 2023.

3. B. Archibald M. Calder, M. Sevegnani, M. Xu.
Modelling and Verifying BDI Agents with Bigraphs.
Science of Computer Programming, 2022.

4. B. Archibald M. Calder, M. Sevegnani, M. Xu.
Probabilistic BDI Agents: Actions, Plans and Intentions.
Proceedings of SEFM (19^th Intl. Conference on Software Engineering and Formal Methods), LNCS, 2021.

5. B. Archibald M. Calder, M. Sevegnani, M. Xu.
Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming.
Proceedings of FMAS (Third Workshop on Formal Methods for Autonomous Systems), EPTCS, 2021.