Accepting submissions
Not accepting submissions
|
RS
Ramneet Singh INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component DecompositionThis is work from my Masters thesis that was accepted to the International Conference on Computer-Aided Verification (CAV) 2025 (conference site). The paper presents a novel symbolic algorithm for the Maximal End Component (MEC) decomposition of a Markov Decision Process (MDP). This is a fundamental operation in Probabilistic Model Checking (which I will introduce in the talk). The key idea behin… more
|