A Verification Framework for GOAL Agents.

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

4 Downloads (Pure)

Abstract

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

Conference

Conference8th International Workshop on Engineering Multi-Agent Systems
LocationVirtual event
CountryNew Zealand
CityAuckland
Period09/05/202010/05/2020

Keywords

  • Agent programming
  • Agent verification
  • Formal logic

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

Cite this