1. Repositório PUCRS
  2. PUBLICAÇÕES CIENTÍFICAS
  3. Apresentação em Evento
Please use this identifier to cite or link to this item: https://hdl.handle.net/10923/25514
Type: conferenceObject
Title: RV4JaCa - Runtime Verification for Multi-Agent Systems
Author(s): Debora Cristina Engelmann
Angelo Ferrando
Alison Roberto Panisson
Davide Ancona
Rafael Heitor Bordini
Viviana Mascardi
In: Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@IJCAI-ECAI 2022, Vienna, Austria, 24th July - EPTCS, 2022, Austria.
Issue Date: 2022
URI: https://hdl.handle.net/10923/25514
Appears in Collections:Apresentação em Evento

Files in This Item:
File Description SizeFormat 
RV4JaCa_Runtime_Verification_for_MultiAgent_Systems.pdf651,92 kBAdobe PDFOpen
View
Show full item record See statistics Search for other versions of fulltext via SFX


All Items in PUCRS Repository are protected by copyright, with all rights reserved, and are licensed under a Creative Commons Attribution-NonCommercial 4.0 International License. Read more.