Verification and Behavioral Synthesis of Agent-Based Systems

In this work we explore the FVS language as a formalism to express, validate and synthesize behavior in the agent-based systems' world. Recent work relates Behavioral Synthesis with agent-based systems, opening the possibility for formalisms in the formal veri cation area to make an impact in t...

Descripción completa

Detalles Bibliográficos
Autores principales: Asteasuain, Fernando, D'Angiolo, Federico, Dubinsky, Manuel, Gamboa, Pablo Daniel
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2020
Materias:
Ciencias Informáticas
Agent-Based Systems
Behavioral Synthesis
Formal Verification
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/114922
http://49jaiio.sadio.org.ar/pdfs/asai/ASAI-08.pdf
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-114922
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
Agent-Based Systems
Behavioral Synthesis
Formal Verification
spellingShingle Ciencias Informáticas
Agent-Based Systems
Behavioral Synthesis
Formal Verification
Asteasuain, Fernando
D'Angiolo, Federico
Dubinsky, Manuel
Gamboa, Pablo Daniel
Verification and Behavioral Synthesis of Agent-Based Systems
topic_facet Ciencias Informáticas
Agent-Based Systems
Behavioral Synthesis
Formal Verification
description In this work we explore the FVS language as a formalism to express, validate and synthesize behavior in the agent-based systems' world. Recent work relates Behavioral Synthesis with agent-based systems, opening the possibility for formalisms in the formal veri cation area to make an impact in the arti cial intelligence domain. In this work we analyze FVS as a potential candidate to make a contribution given its desirable characteristics such as exibility, great expressive power and its ability to perform behavioral synthesis in Open Systems. A very well known case of study is analyzed: the Dining Cryptographers protocol, including one variation of the protocol. FVS was able to fully specify, validate and synthesize the behavior of the protocol.
format Objeto de conferencia
Objeto de conferencia
author Asteasuain, Fernando
D'Angiolo, Federico
Dubinsky, Manuel
Gamboa, Pablo Daniel
author_facet Asteasuain, Fernando
D'Angiolo, Federico
Dubinsky, Manuel
Gamboa, Pablo Daniel
author_sort Asteasuain, Fernando
title Verification and Behavioral Synthesis of Agent-Based Systems
title_short Verification and Behavioral Synthesis of Agent-Based Systems
title_full Verification and Behavioral Synthesis of Agent-Based Systems
title_fullStr Verification and Behavioral Synthesis of Agent-Based Systems
title_full_unstemmed Verification and Behavioral Synthesis of Agent-Based Systems
title_sort verification and behavioral synthesis of agent-based systems
publishDate 2020
url http://sedici.unlp.edu.ar/handle/10915/114922
http://49jaiio.sadio.org.ar/pdfs/asai/ASAI-08.pdf
work_keys_str_mv AT asteasuainfernando verificationandbehavioralsynthesisofagentbasedsystems
AT dangiolofederico verificationandbehavioralsynthesisofagentbasedsystems
AT dubinskymanuel verificationandbehavioralsynthesisofagentbasedsystems
AT gamboapablodaniel verificationandbehavioralsynthesisofagentbasedsystems
bdutipo_str Repositorios
_version_ 1764820446117625857

Ejemplares similares