Towards Verifying a Blocks World for Teams GOAL Agent

Alexander Birch Jensen

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

Towards Verifying a Blocks World for Teams GOAL Agent

Topics: Agent Models and Architectures; Multi-Agent Systems; Privacy, Safety and Security

In Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, 337-344, 2021

Author: Alexander Birch Jensen

Affiliation: DTU Compute, Department of Applied Mathematics and Computer Science, Technical University of Denmark, Richard Petersens Plads, Building 324, DK-2800 Kongens Lyngby, Denmark

Keyword(s): Agent Programming, Formal Verification, Agent Logic, GOAL.

Abstract: We continue to see an increase in applications based on multi-agent system technology. As the technology becomes more widespread, so does the requirement for agent systems to operate reliably. In this paper, we expand on the approach of using an agents logic to prove properties of agents. Our work describes a transformation from GOAL program code to an agent logic. We apply it to a Blocks World for Teams agent and prove a correctness property. Finally, we sketch future challenges of extending the framework.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

You are not signed in, therefore limits apply to your IP address 3.14.70.203

In the current month:

Recent papers: 100 available of 100 total

2⁺ years older papers: 200 available of 200 total

Paper citation in several formats:

Jensen, A. (2021). Towards Verifying a Blocks World for Teams GOAL Agent. In Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART; ISBN 978-989-758-484-8; ISSN 2184-433X, SciTePress, pages 337-344. DOI: 10.5220/0010268303370344

@conference{icaart21,
author={Alexander Birch Jensen.},
title={Towards Verifying a Blocks World for Teams GOAL Agent},
booktitle={Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART},
year={2021},
pages={337-344},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010268303370344},
isbn={978-989-758-484-8},
issn={2184-433X},
}

TY - CONF

JO - Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART
TI - Towards Verifying a Blocks World for Teams GOAL Agent
SN - 978-989-758-484-8
IS - 2184-433X
AU - Jensen, A.
PY - 2021
SP - 337
EP - 344
DO - 10.5220/0010268303370344
PB - SciTePress