Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2021-03-15T15:33:04Z
dc.date.available 2021-03-15T15:33:04Z
dc.date.issued 2020
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/114922
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. en
dc.format.extent 100-113 es
dc.language en es
dc.subject Agent-Based Systems es
dc.subject Behavioral Synthesis es
dc.subject Formal Verification es
dc.title Verification and Behavioral Synthesis of Agent-Based Systems en
dc.type Objeto de conferencia es
sedici.identifier.uri http://49jaiio.sadio.org.ar/pdfs/asai/ASAI-08.pdf es
sedici.identifier.issn 2451-7585 es
sedici.creator.person Asteasuain, Fernando es
sedici.creator.person D'Angiolo, Federico es
sedici.creator.person Dubinsky, Manuel es
sedici.creator.person Gamboa, Pablo Daniel es
sedici.subject.materias Ciencias Informáticas es
sedici.description.fulltext true es
mods.originInfo.place Sociedad Argentina de Informática es
sedici.subtype Objeto de conferencia es
sedici.rights.license Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported (CC BY-NC-SA 3.0)
sedici.rights.uri http://creativecommons.org/licenses/by-nc-sa/3.0/
sedici.date.exposure 2020-10
sedici.relation.event XXI Simposio Argentino de Inteligencia Artificial (ASAI 2020) - JAIIO 49 (Modalidad virtual) es
sedici.description.peerReview peer-review es


Descargar archivos

Thumbnail
Documento completo
Descargar archivo (352.5Kb) - PDF
Icon
Enlace externo

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

Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported (CC BY-NC-SA 3.0) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported (CC BY-NC-SA 3.0)