1

INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition
A novel, faster symbolic algorithm for the Maximal End Component (MEC) decomposition of a Markov Decision Process (MDP), a foundational problem in Probabilistic Model Checking.
PDF Cite Code Dataset DOI