Computing behavioral distances, compositionally
From MaRDI portal
Recommendations
- Compositional reasoning for Markov decision processes (extended abstract)
- Bisimulation metrics for continuous Markov decision processes
- Computing Game Metrics on Markov Decision Processes
- Bisimulation for Markov decision processes through families of functional expressions
- On the complexity of computing probabilistic bisimilarity
Cited in
(17)- \(L^\ast\)-based learning of Markov decision processes (extended version)
- Equivalence of a behavioral distance and the gap metric
- A general SOS theory for the specification of probabilistic transition systems
- Compositional reasoning for Markov decision processes (extended abstract)
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi
- scientific article; zbMATH DE number 5547974 (Why is no real title available?)
- Equational reasonings in wireless network gossip protocols
- Distance between behaviours
- Up-to techniques for behavioural metrics via fibrations
- Distal and non‐distal behavior in pairs
- Compositional weak metrics for group key update
- Convex lattice equation systems
- Back to the format: a survey on SOS for probabilistic processes
- Up-to techniques for behavioural metrics via fibrations
- L^*-based learning of Markov decision processes
- Contextual behavioural metrics
- A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces
This page was built for publication: Computing behavioral distances, compositionally
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2849899)
