Sliding Window Abstraction for Infinite Markov Chains.

Thomas A. Henzinger, Maria Mateescu, Verena Wolf

Browse the full CAV paper archive.