T9: Geração de agentes BDI a partir de autômatos temporais (UPPAAL2MASPY)

[gleifer]

Formalizar e implementar o UPPAAL2MASPY

• ver artigo:
  Criação de Agentes BDI a partir de Modelos do UPPAAL. Anais do XVIII Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações - WESAAC 2024

• Tema de IC do Lucas Karau

• Objetivo: definir formalmente a "tradução" de um autômato temporal em um agente BDI

• Prova de Conceito: implementar a tradução do modelo XML do UPPAAL para agentes MASPY em Python

• Tarefas:

• Estudar UPPAAL
• Estudar MASPY
• Estudar definição formal de autômato temporal