Verification and Behavioral Synthesis of Agent-Based Systems

Asteasuain, Fernando; D'Angiolo, Federico; Dubinsky, Manuel; Gamboa, Pablo Daniel

dc.contributor.author	Asteasuain, Fernando
dc.contributor.author	D'Angiolo, Federico
dc.contributor.author	Dubinsky, Manuel
dc.contributor.author	Gamboa, Pablo Daniel
dc.date.accessioned	2024-08-08T15:59:29Z
dc.date.available	2024-08-08T15:59:29Z
dc.date.issued	2020
dc.identifier.issn	2451-7585
dc.identifier.other	http://sedici.unlp.edu.ar/handle/10915/114922
dc.identifier.uri	https://undavdigital.undav.edu.ar/xmlui/handle/20.500.13069/3494
dc.description	Fil: Asteasuain, Fernando. Universidad Nacional de Avellaneda. Departamento de Tecnología y Administración; Argentina
dc.description	Fil: D'Angiolo, Federico. Universidad Nacional de Avellaneda. Departamento de Tecnología y Administración; Argentina
dc.description	Fil: Dubinsky, Manuel. Universidad Nacional de Avellaneda. Departamento de Tecnología y Administración; Argentina
dc.description	Fil: Gamboa, Pablo Daniel. Universidad Abierta Interamericana. Centro de Altos Estudios; Argentina
dc.description.abstract	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.
dc.format.mimetype	application/pdf
dc.language.iso	eng
dc.publisher	Sociedad Argentina de Informática
dc.rights	info:eu-repo/semantics/openAccess
dc.subject	Agent-Based Systems
dc.subject	Behavioral Synthesis
dc.subject	Formal Verification
dc.title	Verification and Behavioral Synthesis of Agent-Based Systems
dc.type	info:eu-repo/semantics/conferenceObject
dc.type	info:ar-repo/semantics/documento de conferencia
dc.type	info:eu-repo/semantics/publishedVersion
dcterms.license	http://creativecommons.org/licenses/by-nc-sa/4.0/
local.eventos.nombregeneral	Simposio Argentino de Inteligencia Artificial (ASAI 2020) - JAIIO 49
local.eventos.numero	XXI
local.eventos.lugar	Argentina