TY  - RPRT
TI  - Probabilistic Model Checking via Families of Deterministic and Unambiguous Finite Automata
AU  - Christel Baier
AU  - Sascha Klüppelholz
AU  - Timm Spork
PY  - 2026
UR  - https://arxiv.org/abs/2606.21976
ID  - 2606.21976
ER  -