A Logical Characterization of Bisimulation for Labeled Markov Processes

by Josée Desharnais, Abbas Edalat, Prakash Panangaden
Citations:43 - 12 self