Pages that link to "Item:Q2252526"
From MaRDI portal
The following pages link to Markov automata: deciding weak bisimulation by means of non-naïvely vanishing states (Q2252526):
Displaying 6 items.
- Probabilistic bisimulation for realistic schedulers (Q1671244) (← links)
- The quest for minimal quotients for probabilistic and Markov automata (Q1784955) (← links)
- Markov automata: deciding weak bisimulation by means of non-naïvely vanishing states (Q2252526) (← links)
- Similarity-based minimization of fuzzy tree automata (Q2634346) (← links)
- Computing Behavioral Relations for Probabilistic Concurrent Systems (Q2937734) (← links)
- Probabilistic Bisimulation for Realistic Schedulers (Q5206954) (← links)