Verification of Distributed Artificial Intelligence Systems in Bioinformatics. - Aedin Pereira; Julia Ding; Zaina Ali; Rodion M. Podorozhny (CoRR, 2023)