Pages that link to "Item:Q282105"
From MaRDI portal
The following pages link to Deciding probabilistic automata weak bisimulation: theory and practice (Q282105):
Displaying 7 items.
- Polynomial time decision algorithms for probabilistic automata (Q498403) (← links)
- Weak bisimulation for probabilistic timed automata (Q606996) (← links)
- Probabilistic weak simulation is decidable in polynomial time (Q1029062) (← links)
- Approximate bisimulation relations for fuzzy automata (Q1800262) (← links)
- Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time (Q2957519) (← links)
- (Q4484499) (← links)
- On divergence-sensitive weak probabilistic bisimilarity (Q6040671) (← links)