Out of Control: Reducing Probabilistic Models by Control-State Elimination.

Tobias Winkler, Johannes Lehmann, Joost-Pieter Katoen

Browse the full VMCAI paper archive.