Pages that link to "Item:Q2849899"
From MaRDI portal
The following pages link to Computing Behavioral Distances, Compositionally (Q2849899):
Displaying 14 items.
- A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces (Q831141) (← links)
- \(L^\ast\)-based learning of Markov decision processes (extended version) (Q1982638) (← links)
- Equivalence of a behavioral distance and the gap metric (Q2504650) (← links)
- A general SOS theory for the specification of probabilistic transition systems (Q2629851) (← links)
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi (Q2974795) (← links)
- (Q3624181) (← links)
- (Q4553277) (← links)
- Distance between behaviours (Q4810936) (← links)
- Up-To Techniques for Behavioural Metrics via Fibrations (Q5009431) (← links)
- Distal and non‐distal behavior in pairs (Q5108843) (← links)
- Compositional weak metrics for group key update (Q5111289) (← links)
- Back to the format: a survey on SOS for probabilistic processes (Q6151619) (← links)
- Up-to techniques for behavioural metrics via fibrations (Q6190392) (← links)
- \(L^*\)-based learning of Markov decision processes (Q6535974) (← links)
