Title: On time-variant probabilistic automata with monitors
Subjects: Matrices, Probabilistic automata