Deterministic Automation for a Probabilistic System · HackerTrans