Pages that link to "Item:Q5262953"
From MaRDI portal
The following pages link to Bisimulation and Simulation Relations for Markov Chains (Q5262953):
Displaying 8 items.
- Simulation of program execution using popular Markov chains (Q760816) (← links)
- Bisimulation is two-way simulation (Q1342255) (← links)
- Similarity-based minimization of fuzzy tree automata (Q2634346) (← links)
- On Probabilistic Alternating Simulations (Q3163874) (← links)
- (Q4558787) (← links)
- Bisimulation as a logical relation (Q5058364) (← links)
- Hybrid Systems: Computation and Control (Q5703923) (← links)
- Compositional Design of Stochastic Timed Automata (Q5740181) (← links)