Text this: Quantitative Automata under Probabilistic Semantics