Pages that link to "Item:Q3538849"
From MaRDI portal
The following pages link to EQUIVALENCE OF LABELED MARKOV CHAINS (Q3538849):
Displayed 13 items.
- Lumpability abstractions of rule-based systems (Q418843) (← links)
- Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties (Q498408) (← links)
- Confluence reduction for Markov automata (Q507382) (← links)
- Quantitative simulations by matrices (Q729815) (← links)
- Probabilistic bisimulation for realistic schedulers (Q1671244) (← links)
- The quest for minimal quotients for probabilistic and Markov automata (Q1784955) (← links)
- Probabilistic may/must testing: retaining probabilities by restricted schedulers (Q1941883) (← links)
- Trace Refinement in Labelled Markov Decision Processes (Q2811347) (← links)
- (Q5111636) (← links)
- (Q5155671) (← links)
- Probabilistic Bisimulation for Realistic Schedulers (Q5206954) (← links)
- (Q5875398) (← links)
- On probabilistic monitorability (Q6113983) (← links)