Towards Verifying GOAL Agents in Isabelle/HOL

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 GOAL Agents in Isabelle/HOL

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

In Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, 345-352, 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, Proof Assistants.

Abstract: 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.

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.140.242.165

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 GOAL Agents in Isabelle/HOL. 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 345-352. DOI: 10.5220/0010268503450352

@conference{icaart21,
author={Alexander Birch Jensen.},
title={Towards Verifying GOAL Agents in Isabelle/HOL},
booktitle={Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART},
year={2021},
pages={345-352},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010268503450352},
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 GOAL Agents in Isabelle/HOL
SN - 978-989-758-484-8
IS - 2184-433X
AU - Jensen, A.
PY - 2021
SP - 345
EP - 352
DO - 10.5220/0010268503450352
PB - SciTePress