membro de https://brcris.ibict.br/individual/comm_ee459614-d3fc-461b-b7eb-f628e356a377 Automação do Projeto de Sistemas Computacionais Embarcados Grupo de Pesquisa
publicações selecionadas A Reinforcement Learning Approach to Directed Test Generation for Shared Memory Verification
