Towards Verifying GOAL Agents in Isabelle/HOL

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review


The need to ensure reliability of agent systems increases with the applications of multi-agent technology. As we continue to develop tools that make verification more accessible to industrial applications, it becomes an even more critical requirement for the tools themselves to be reliable. We suggest that this reliability ought not be based on empirical evidence such as testing procedures. Instead we propose using an interactive theorem prover to ensure the reliability of the verification process. Our work aims to verify agent systems by emdedding a verification framework in the interactive theorem prover Isabelle/HOL.
Original languageEnglish
Title of host publicationProceedings of the 13th International Conference on Agents and Artificial Intelligence
EditorsAna Paula Rocha, Luc Steels, Jaap van den Herik
PublisherScience and Technology Publishing
Publication date2021
ISBN (Print)978-989-758-484-8
Publication statusPublished - 2021
Event13th International Conference on Agents and Artificial Intelligence - Online Streaming
Duration: 4 Feb 20216 Feb 2021


Conference13th International Conference on Agents and Artificial Intelligence
LocationOnline Streaming
Internet address


  • Agent Programming
  • Formal Verification
  • Proof Assistants


Dive into the research topics of 'Towards Verifying GOAL Agents in Isabelle/HOL'. Together they form a unique fingerprint.

Cite this