Conference paper
A Verification Framework for GOAL Agents
In
Pre-proceedings of 8<sup>th</sup> International Workshop on Engineering Multi-agent Systems
—
2020
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
| Language: | English |
|---|---|
| Year: | 2020 |
| Proceedings: | 8<sup>th</sup> International Workshop on Engineering Multi-Agent Systems |
| Types: | Conference paper |
| ORCIDs: | Jensen, Alexander Birch |
