Learning Verified Monitors for Hidden Markov Models. - Luko van der Maas; Sebastian Junges (CoRR, 2025)