Paavo Turakainen

• On time-variant probabilistic automata with monitors