Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL.

Michael Huth, Nir Piterman, Daniel Wagner

Browse the full FCT paper archive.