Publication

Sliding Window Abstraction for Infinite Markov Chains