Verification and behavioral synthesis of agent-based systems

dc.contributor.author Asteasuain, Fernando
dc.contributor.author Gamboa, Pablo Daniel
dc.contributor.author D’Angiolo, Federico
dc.contributor.author Dubinsky, Manuel
dc.date.accessioned 2022-12-14T12:38:45Z
dc.date.available 2022-12-14T12:38:45Z
dc.date.issued 2020-10
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 verification area to make an impact in the artificial 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.identifier.citation Asteasuain, F.; D'Angiolo, F.; Dubinsky, M.; Gamboa, P.D. (2020). Verification and behavioral synthesis of agent-based systems. En: Jornadas Argentinas de Informática virtuales, JAIIO, 49, 19-30 oct 2020. Simposio Argentlno de Inteligencia Artificial, ASAI. 21. Anales de ASAI 2020. p.:100-113
dc.identifier.uri https://repositorio.uai.edu.ar/handle/123456789/613
dc.language.iso en
dc.publisher Sociedad Argentina de Informática, SADIO
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 DOCUMENTOCONF
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
0000133406.pdf
Size:
337.63 KB
Format:
Adobe Portable Document Format
Description:
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed to upon submission
Description: