Towards Verifying GOAL Agents in Isabelle/HOL Topics: Agent Models and Architectures; Multi-Agent Systems; Privacy, Safety and Security; Programming Environments and Languages In Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, 345-352, 2021