Verification and External Parameter Inference for Stochastic World Models. - Radu Calinescu; Sinem Getir Yaman; Simos Gerasimou; Gricel Vázquez; Micah Bassett (CoRR, 2025)