scientific article
From MaRDI portal
Publication:3619416
zbMath1190.60001MaRDI QIDQ3619416
Publication date: 6 April 2009
Full work available at URL: http://ebooks.worldscinet.com/ISBN/9781848162891/toc.shtml
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Continuous-time Markov processes on general state spaces (60J25) Discrete-time Markov processes on general state spaces (60J05) Axioms; other general questions in probability (60A05) Markov processes (60J99) Research exposition (monographs, survey articles) pertaining to probability theory (60-02)
Related Items (56)
Continuous-variable nonlocality and contextuality ⋮ A metrized duality theorem for Markov processes ⋮ Bisimulation for Feller-Dynkin processes ⋮ Towards a classification of behavioural equivalences in continuous-time Markov processes ⋮ Hennessy-Milner results for probabilistic PDL ⋮ ``Keep definition, change category -- a practical approach to state-based system calculi ⋮ Statistical Model Checking for Networks of Priced Timed Automata ⋮ Bisimulation as a logical relation ⋮ The expectation monad in quantum foundations ⋮ When are stochastic transition systems tameable? ⋮ Unnamed Item ⋮ Precisely deciding CSL formulas through approximate model checking for CTMCs ⋮ A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems ⋮ SOS specifications for uniformly continuous operators ⋮ Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems ⋮ From probability monads to commutative effectuses ⋮ Expressiveness of probabilistic modal logics: a gradual approach ⋮ Generic weakest precondition semantics from monads enriched with order ⋮ Behavioural equivalences for coalgebras with unobservable moves ⋮ A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics ⋮ Algebraic properties of stochastic effectivity functions ⋮ Model Checking Temporal Properties of Recursive Probabilistic Programs ⋮ A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces ⋮ Behavioural equivalences for continuous-time Markov processes ⋮ Measurable stochastics for Brane calculus ⋮ A principled approach to expectation maximisation and latent Dirichlet allocation using Jeffrey's update rule ⋮ Unnamed Item ⋮ Reversible monadic computing ⋮ An effect-theoretic account of Lebesgue integration ⋮ Modular Markovian Logic ⋮ The metric linear-time branching-time spectrum on nondeterministic probabilistic processes ⋮ A stochastic interpretation of game logic ⋮ Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations ⋮ The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata ⋮ Free Energy of Petri Nets ⋮ Bisimulation for Markov Decision Processes through Families of Functional Expressions ⋮ Random Measurable Selections ⋮ Affine Monads and Side-Effect-Freeness ⋮ Unnamed Item ⋮ Coalgebraic tools for randomness-conserving protocols ⋮ Beyond Bell's theorem. II: Scenarios with arbitrary causal structure ⋮ Probabilistic NetKAT ⋮ Measure Transformer Semantics for Bayesian Machine Learning ⋮ A probabilistic calculus of cyber-physical systems ⋮ Unnamed Item ⋮ A Theory of Slicing for Probabilistic Control Flow Graphs ⋮ Approximating Markov Processes by Averaging ⋮ A channel-based perspective on conjugate priors ⋮ Monads and Quantitative Equational Theories for Nondeterminism and Probability ⋮ Bisimulation metrics and norms for real-weighted automata ⋮ Disintegration and Bayesian inversion via string diagrams ⋮ Limits in categories of Vietoris coalgebras ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey ⋮ Structural operational semantics for continuous state stochastic transition systems ⋮ On \(\mathbf{MV} \)-coalgebras over the category of BL-algebras ⋮ Stick breaking, in coalgebra and probability
This page was built for publication:
