Liveness with Incomprehensible Ranking.

Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck

Browse the full TACAS paper archive.