Aitor Arrieta

Essa pesquisa avalia o uso de LLMs pra cenários realistas de carros autônomos.

Um novo método pra acelerar a correção de modelos Stateflow e reduzir custos.

Explorando como modelos de base melhoram o desenvolvimento de gêmeos digitais.