Seminário e-Controls apresenta reparos automáticos em códigos de inteligência artificial

A notícia oficial da UFAM informa que o seminário, realizado em 12 de julho de 2024, tratou de reparo automático de código de inteligência artificial por meio de grandes modelos de linguagem e bounded model checking. A publicação também apresenta o Cybersecurity in Networked Controlled Systems, com UFAM, UEA, UERJ, IFSEMG e University of Manchester, como cooperação em segurança cibernética, verificação formal, inteligência artificial e controle/automação.