Pages that link to "Item:Q1660766"
From MaRDI portal
The following pages link to Behavioural pseudometrics for nondeterministic probabilistic systems (Q1660766):
Displaying 13 items.
- A pseudometric in supervisory control of probabilistic discrete event systems (Q351739) (← links)
- A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces (Q831141) (← links)
- On metrics for probabilistic systems: definitions and algorithms (Q971582) (← links)
- Weak bisimulation metrics in models with nondeterminism and continuous state spaces (Q1623141) (← links)
- A behavioural pseudometric for probabilistic transition systems (Q1770428) (← links)
- The metric linear-time branching-time spectrum on nondeterministic probabilistic processes (Q1989321) (← links)
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems (Q2272986) (← links)
- Differential logical relations. II: Increments and derivatives (Q2664934) (← links)
- (Q5009413) (← links)
- (Q5094149) (← links)
- Automata, Languages and Programming (Q5716849) (← links)
- Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems (Q5758050) (← links)
- Explainability of probabilistic bisimilarity distances for labelled Markov chains (Q6091199) (← links)
