Games and Probabilistic Infinite-State Systems

Sven Sandberg. Games and Probabilistic Infinite-State Systems. PhD thesis, Uppsala University, Sweden, 2007. [doi]

Abstract

Abstract is missing.