Pages that link to "Item:Q971582"
From MaRDI portal
The following pages link to On metrics for probabilistic systems: definitions and algorithms (Q971582):
Displaying 9 items.
- A pseudometric in supervisory control of probabilistic discrete event systems (Q351739) (← links)
- Weak bisimulation metrics in models with nondeterminism and continuous state spaces (Q1623141) (← links)
- Behavioural pseudometrics for nondeterministic probabilistic systems (Q1660766) (← links)
- The approximate correctness of systems based on \(\delta\)-bisimulation (Q1744456) (← links)
- Polynomial-time algorithms for computing distances of fuzzy transition systems (Q1749476) (← links)
- A behavioural pseudometric for probabilistic transition systems (Q1770428) (← links)
- Approximating and computing behavioural distances in probabilistic transition systems (Q2503333) (← links)
- Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems (Q5758050) (← links)
- (Q5856412) (← links)
