1. Repositório PUCRS
  2. PUBLICAÇÕES CIENTÍFICAS
  3. Apresentação em Evento
Utilize este identificador para citar ou criar um atalho para este documento: 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
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.
Data de Publicação: 2022
URI: https://hdl.handle.net/10923/25514
Aparece nas Coleções:Apresentação em Evento

Arquivos neste item:
Arquivo Descrição TamanhoFormato 
RV4JaCa_Runtime_Verification_for_MultiAgent_Systems.pdf651,92 kBAdobe PDFAbrir
Exibir
Ver em formato completo Ver estatísticas Busque outras versões desse texto via SFX


Todos os itens no Repositório da PUCRS estão protegidos por copyright, com todos os direitos reservados, e estão licenciados com uma Licença Creative Commons - Atribuição-NãoComercial 4.0 Internacional. Saiba mais.