11 citations · 48 across the 20 of their papers we have counts for
1 paper · 1 filter
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…