Pages that link to "Item:Q5299841"
From MaRDI portal
The following pages link to Bisimulations Meet PCTL Equivalences for Probabilistic Automata (Q5299841):
Displayed 7 items.
- Modeling and analysis of the obstacle-avoidance strategies for a mobile robot in a dynamic environment (Q1666714) (← links)
- \textsc{ULTraS} at work: compositionality metaresults for bisimulation and trace semantics (Q1683708) (← links)
- On the probabilistic bisimulation spectrum with silent moves (Q2182668) (← links)
- Towards general axiomatizations for bisimilarity and trace semantics (Q2237336) (← links)
- Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes (Q2257984) (← links)
- Bisimulations Meet PCTL Equivalences for Probabilistic Automata (Q3090825) (← links)
- Sound approximate and asymptotic probabilistic bisimulations for PCTL (Q6135748) (← links)