Verifying Properties of Tsetlin Machines. - Emilia Przybysz; Bimal Bhattarai; Cosimo Persia; Ana Ozaki; Ole-Christoffer Granmo; Jivitesh Sharma (CoRR, 2023)