Hintikka Games for PCTL on Labeled Markov Chains | IEEE Conference Publication | IEEE Xplore