Pages that link to "Item:Q3190122"

The following pages link to Probabilistic Bisimulation: Naturally on Distributions (Q3190122):

Displaying 9 items.

• Confluence reduction for Markov automata (Q507382) (← links)
• Model independent approach to probabilistic models (Q831149) (← links)
• The complexity of synchronizing Markov decision processes (Q1740670) (← links)
• The quest for minimal quotients for probabilistic and Markov automata (Q1784955) (← links)
• Bounds for synchronizing Markov decision processes (Q2097220) (← links)
• Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies (Q2134814) (← links)
• Trace Refinement in Labelled Markov Decision Processes (Q2811347) (← links)
• (Q5009413) (← links)
• (Q5111636) (← links)