scientific article; zbMATH DE number 6987095
From MaRDI portal
Publication:4558787
Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Recommendations
- Complete axiomatization for the bisimilarity distance on Markov chains
- Algorithms to compute probabilistic bisimilarity distances for labelled Markov chains
- Deciding probabilistic bisimilarity distance one for labelled Markov chains
- Approximating bisimilarity for Markov processes
- Bisimilarity of distributionally equivalent Markov transition systems
- scientific article; zbMATH DE number 7559464
- Computing probabilistic bisimilarity distances for probabilistic automata
- Computing probabilistic bisimilarity distances for probabilistic automata
- Bisimulation and Simulation Relations for Markov Chains
Cites work
- scientific article; zbMATH DE number 6712178 (Why is no real title available?)
- scientific article; zbMATH DE number 3469994 (Why is no real title available?)
- scientific article; zbMATH DE number 3434546 (Why is no real title available?)
- scientific article; zbMATH DE number 1754605 (Why is no real title available?)
- scientific article; zbMATH DE number 1754609 (Why is no real title available?)
- scientific article; zbMATH DE number 3448081 (Why is no real title available?)
- scientific article; zbMATH DE number 1852853 (Why is no real title available?)
- scientific article; zbMATH DE number 3430635 (Why is no real title available?)
- scientific article; zbMATH DE number 233974 (Why is no real title available?)
- A complete inference system for a class of regular behaviours
- An algebraic theory of Markov processes
- Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems
- Approximating and computing behavioural distances in probabilistic transition systems
- Axiomatizations for probabilistic finite-state behaviors
- Axiomatizing bisimulation equivalences and metrics from probabilistic SOS rules
- Axioms for probability and nondeterminism
- Complete axiomatization for the bisimilarity distance on Markov chains
- Converging from Branching to Linear Metrics on Markov Chains
- Equational axioms for probabilistic bisimilarity
- Fixpoint approach to the theory of computation
- Konvexe Räume
- Metrics for labelled Markov processes
- Metrics for weighted transition systems: axiomatization and complexity
- On behavioural pseudometrics and closure ordinals
- On the complexity of computing probabilistic bisimilarity
- On the metric-based approximate minimization of Markov chains
- On the quasivariety on convex subsets of affine spaces
- On the total variation distance of semi-Markov chains
- Postulates for the barycentric calculus
- Quantitative Algebraic Reasoning
- Quantitative Kleene coalgebras
- Semantics for algebraic operations
- Solving polynomial fixed point equations
- Sound and complete axiomatizations of coalgebraic language equivalence
- Structural operational semantics for continuous state probabilistic processes
- Structural operational semantics for continuous state stochastic transition systems
- The logic of recursive equations
- Two Complete Axiom Systems for the Algebra of Regular Events
Cited in
(6)- Complete axiomatization for the bisimilarity distance on Markov chains
- Explainability of probabilistic bisimilarity distances for labelled Markov chains
- Deciding probabilistic bisimilarity distance one for labelled Markov chains
- Beyond nonexpansive operations in quantitative algebraic reasoning
- Learning model checking and the kernel trick for signal temporal logic on stochastic processes
- Monads and Quantitative Equational Theories for Nondeterminism and Probability
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4558787)
