Deakstadieđáhus: Refined Probabilistic Abstraction