CAETI
Centro de Altos Estudios en Tecnología Informática
Buenos Aires
Ingeniería de Software
Framework para el Desarrollo de Software mediante Modularización Avanzada. 2da. Etapa
Verification and behavioral synthesis of agent-based systems
Año: 2020
Idioma: Inglés
Resumen
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.
Integrantes
Fernando Asteasuain (Autor)
Federico D’Angiolo (Autor)
Manuel Dubinsky (Autor)
Pablo Daniel Gamboa (Autor)
Archivos
-
Fernando Asteasuain, Federico D’Angiolo, Manuel Dubinsky, Pablo Daniel Gamboa (2020). “Verification and Behavioral Synthesis of Agent-Based Systems”. Simposio Argentino de Inteligencia Artificial ASAI 2020. Actas de las 49º JAIIO Jornadas Argentinas de Informática. ISSN?2451-7496. Facultad de Ingeniería de la Universidad de Buenos Aires, Argentina. 19 al 30 de Octubre de 2020.
15- Asteasuain et al - Verification and Behavioral Synthesis of Agent-Based Systems - JAIIO 2020.pdf