Pages that link to "Item:Q596029"
From MaRDI portal
The following pages link to Metrics for labelled Markov processes (Q596029):
Displaying 50 items.
- Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey (Q271706) (← links)
- A metrized duality theorem for Markov processes (Q283765) (← links)
- A pseudometric in supervisory control of probabilistic discrete event systems (Q351739) (← links)
- Testing probabilistic equivalence through reinforcement learning (Q383369) (← links)
- Characterization and computation of infinite-horizon specifications over Markov processes (Q386604) (← links)
- Value-passing CCS with noisy channels (Q428864) (← links)
- Approximating Markov processes through filtration (Q442296) (← links)
- Lattice-valued simulations for quantitative transition systems (Q473367) (← links)
- Interface simulation distances (Q477211) (← links)
- A modal characterization of alternating approximate bisimilarity (Q479808) (← links)
- Differential privacy in probabilistic systems (Q529047) (← links)
- Metrics for weighted transition systems: axiomatization and complexity (Q549202) (← links)
- The category-theoretic solution of recursive metric-space equations (Q604478) (← links)
- Weak bisimulation for probabilistic timed automata (Q606996) (← links)
- Approximate bisimulation: a bridge between computer science and control theory (Q693690) (← links)
- Simulation distances (Q764284) (← links)
- Approximating Markovian testing equivalence (Q764291) (← links)
- A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces (Q831141) (← links)
- Parametric probabilistic transition systems for system design and analysis (Q877158) (← links)
- Denotational semantics and its algebraic derivation for an event-driven system-level language (Q903516) (← links)
- Approximate simulation relations for hybrid systems (Q939013) (← links)
- On metrics for probabilistic systems: definitions and algorithms (Q971582) (← links)
- Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes (Q974113) (← links)
- Characterize branching distance in terms of \((\eta , \alpha )\)-bisimilarity (Q1004387) (← links)
- A UTP approach for rTiMo (Q1624596) (← links)
- Interleaving isotactics -- an equivalence notion on behaviour abstractions (Q1643139) (← links)
- SOS specifications for uniformly continuous operators (Q1678172) (← links)
- Polynomial-time algorithms for computing distances of fuzzy transition systems (Q1749476) (← links)
- Domain theory, testing and simulation for labelled Markov processes (Q1770416) (← links)
- On the metric-based approximate minimization of Markov chains (Q1785848) (← links)
- Compositionality for quantitative specifications (Q1797783) (← links)
- The metric linear-time branching-time spectrum on nondeterministic probabilistic processes (Q1989321) (← links)
- Probabilistic divide \& congruence: branching bisimilarity (Q2007735) (← links)
- A probabilistic calculus of cyber-physical systems (Q2042728) (← links)
- Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations (Q2061250) (← links)
- Bisimulation metrics and norms for real-weighted automata (Q2064519) (← links)
- Dynamics of reputation in mobile agents systems and weighted timed automata (Q2064524) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- How adaptive and reliable is your program? (Q2117013) (← links)
- Complete axiomatization for the total variation distance of Markov chains (Q2130580) (← links)
- Bisimulation for Feller-Dynkin processes (Q2133163) (← links)
- Hennessy-Milner results for probabilistic PDL (Q2133481) (← links)
- Borel kernels and their approximation, categorically (Q2134827) (← links)
- Similarity quantification for linear stochastic systems: a coupling compensator approach (Q2165973) (← links)
- Computing branching distances with quantitative games (Q2210522) (← links)
- A quantified coalgebraic van Benthem theorem (Q2233433) (← links)
- Limited approximate bisimulations and the corresponding rough approximations (Q2237122) (← links)
- Weighted modal transition systems (Q2248057) (← links)
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems (Q2272986) (← links)
- Recursively defined metric spaces without contraction (Q2373743) (← links)