DOI,IST REx ID,Research Group,Title of publication
10.1145/2933575.2933588,1138,"KrCh,ToHe",Quantitative automata under probabilistic semantics