10 citations · 16 across the 18 of their papers we have counts for
1 paper · 1 filter
Suguman Bansal, Ramneet Singh
This paper presents a novel symbolic algorithm for the Maximal End Component (MEC) decomposition of a Markov Decision Process (MDP). The key idea behind our algorithm INTERLEAVE is…