A Verification Framework for GOAL Agents

Alexander Birch Jensen

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

25 Downloads (Pure)


We describe a project about formal verification of GOAL agents. We explain how to mechanically transform GOAL code into agent logic under a set of assumptions. The framework allows us to prove correctness of an implemented GOAL agent. We focus on a Blocks World for Teams problem and show the first step of a correctness proof. Finally, we sketch future steps for the project by identifying the many challenges
Original languageEnglish
Title of host publicationPre-Proceedings of 8th International Workshop on Engineering Multi-Agent Systems
Number of pages7
Publication date2020
Publication statusPublished - 2020
Event8th International Workshop on Engineering Multi-Agent Systems - Virtual event, Auckland, New Zealand
Duration: 9 May 202010 May 2020


Conference8th International Workshop on Engineering Multi-Agent Systems
LocationVirtual event
Country/TerritoryNew Zealand


  • Agent programming
  • Agent verification
  • Formal logic


Dive into the research topics of 'A Verification Framework for GOAL Agents'. Together they form a unique fingerprint.

Cite this