Compositional Bisimulation Minimization for Interval Markov Decision Processes.

Vahid HashemiHolger HermannsLei SongK. SubramaniAndrea TurriniPiotr J. Wojciechowski
Published in: LATA (2016)
Keyphrases