31 citations · 242 across the 55 of their papers we have counts for
1 paper · 2 filters
Ernst Moritz Hahn, Guangyuan Li, Sven Schewe +2
The bottleneck in the quantitative analysis of Markov chains and Markov decision processes against specifications given in LTL or as some form of nondeterministic Büchi automata is…