UNDAV Digital

Verification and Behavioral Synthesis of Agent-Based Systems

Mostrar el registro sencillo del ítem

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


Ficheros en el ítem

Este ítem aparece en la(s) siguiente(s) colección(ones)

  • Trabajos presentados a eventos
    Comunicaciones y presentaciones realizadas en eventos científicos (congresos, encuentros, simposios, jornadas, etc.).

Mostrar el registro sencillo del ítem

Buscar en UNDAV Digital


Listar

Mi cuenta

Estadísticas