Multicore Design Verification Directed by Reinforcement Learning. - Luiz M. V. Pereira; Diego M. Meditsch; Guilherme O. Campos; Luiz C. V. Dos Santos (DATE, 2026)