Termination in Convex Sets of Distributions

Ana Sokolova, Harald Woracek. Termination in Convex Sets of Distributions. Logical Methods in Computer Science, 14(4), 2018. [doi]

Abstract

Abstract is missing.