Síntese de Árvores de Comportamento Fundamentadas em Contratos por meio de Agentes de Codificação

arXiv:2607.12220v1 Tipo de anúncio: novo Resumo: Sintetizar árvores de comportamento (BTs) de robôs prontas para implantação a partir de linguagem natural (NL) exige fundamentação para garantir que toda BT gerada faça referência apenas a habilidades que um robô consegue de fato executar. As abordagens existentes de síntese de BTs baseadas em LLM frequentemente atribuem essa responsabilidade de fundamentação ao autor do prompt. Isso torna a implantação frágil quando o autor não sabe quais habilidades o robô consegue executar, como essas habilidades são parametrizadas ou como o software de runtime do robô ...