Pages that link to "Item:Q2988377"
From MaRDI portal
The following pages link to On the Relationship Between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context (Q2988377):
Displayed 5 items.
- Probabilistic timed automata with clock-dependent probabilities (Q1685793) (← links)
- A probabilistic calculus of cyber-physical systems (Q2042728) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- On the Relationship Between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context (Q2988377) (← links)
- Sound approximate and asymptotic probabilistic bisimulations for PCTL (Q6135748) (← links)