1. Repositório PUCRS
  2. PUBLICAÇÕES CIENTÍFICAS
  3. Apresentação em Evento
Por favor, use este identificador para citar o enlazar este ítem: https://hdl.handle.net/10923/25514
Tipo: conferenceObject
Título: RV4JaCa - Runtime Verification for Multi-Agent Systems
Autor(es): Debora Cristina Engelmann
Angelo Ferrando
Alison Roberto Panisson
Davide Ancona
Rafael Heitor Bordini
Viviana Mascardi
En: Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@IJCAI-ECAI 2022, Vienna, Austria, 24th July - EPTCS, 2022, Austria.
Fecha de Publicación: 2022
URI: https://hdl.handle.net/10923/25514
Aparece en las colecciones:Apresentação em Evento

Ficheros en este ítem:
Fichero Descripción TamañoFormato 
RV4JaCa_Runtime_Verification_for_MultiAgent_Systems.pdf651,92 kBAdobe PDFAbrir
Ver
Mostrar el registro completo del ítem Ver estatísticas Busque otras versiones de este texto através de SFX


Todos los ítems en el Repositorio de la PUCRS están protegidos por derechos de autor, con todos los derechos reservados, y están bajo una licencia de Creative Commons Reconocimiento-NoComercial 4.0 Internacional. Sepa más.