Skip to main content
Publication

Sliding Window Abstraction for Infinite Markov Chains