scientific article; zbMATH DE number 7204940
From MaRDI portal
Publication:5111636
belief-state transformersbisimulation up-tocoalgebraconvex algebraconvex powerset monadprobabilistic automata
Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Algebraic theory of languages and automata (68Q70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Recommendations
- scientific article; zbMATH DE number 97447
- scientific article; zbMATH DE number 1465718
- scientific article; zbMATH DE number 2064073
- scientific article; zbMATH DE number 94679
- Congruences of convex algebras.
- scientific article; zbMATH DE number 1775153
- scientific article; zbMATH DE number 3933786
- Convex and linear effect algebras
- Powers of convex-cyclic operators
- scientific article; zbMATH DE number 3981156
Cites work
- A hierarchy of probabilistic system types
- A spectrum of behavioral relations over LTSs on probability distributions
- Approximate verification of the symbolic dynamics of Markov chains
- Automatic verification of real-time systems with discrete probability distributions.
- Bialgebras for structural operational semantics: an introduction
- Bisimulation for probabilistic transition systems: A coalgebraic approach
- Bisimulation through probabilistic testing
- Characterising Testing Preorders for Finite Probabilistic Processes
- Checking NFA equivalence with bisimulations up to congruence
- Coalgebraic trace semantics for combined possibilitistic and probabilistic systems
- Coinduction up-to in a fibrational setting
- Commutative semantics for probabilistic programming
- Compositional abstraction techniques for probabilistic automata
- Concurrency and composition in a stochastic world
- Congruences of convex algebras.
- Convexity, duality and effects
- Deciding bisimilarities on distributions
- Discrete random variables over domains, revisited
- Distributing probability over non-determinism
- Eilenberg--Moore algebras for stochastic relations
- Enhancements of the bisimulation proof method
- Environmental bisimulations for probabilistic higher-order languages
- EQUIVALENCE OF LABELED MARKOV CHAINS
- Erratum and addendum: ``Eilenberg-Moore algebras for stochastic relations
- Exploring probabilistic bisimulations. I
- Formal verification of timed properties of randomized distributed algorithms
- Generalizing the powerset construction, coalgebraically
- High-level counterexamples for probabilistic automata
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 1064116 (Why is no real title available?)
- scientific article; zbMATH DE number 3434546 (Why is no real title available?)
- scientific article; zbMATH DE number 1497870 (Why is no real title available?)
- scientific article; zbMATH DE number 1753205 (Why is no real title available?)
- scientific article; zbMATH DE number 2169341 (Why is no real title available?)
- scientific article; zbMATH DE number 794262 (Why is no real title available?)
- scientific article; zbMATH DE number 3428045 (Why is no real title available?)
- scientific article; zbMATH DE number 236540 (Why is no real title available?)
- scientific article; zbMATH DE number 5585443 (Why is no real title available?)
- Introduction to coalgebra. Towards mathematics of states and observation
- Learning deterministic probabilistic automata from a model checking perspective
- Limit synchronization in Markov decision processes
- On the semantics of Markov automata
- Postulates for the barycentric calculus
- Power structures
- Probabilistic Bisimulation: Naturally on Distributions
- Probabilistic systems coalgebraically: a survey
- Relating coalgebraic notions of bisimulation
- Robustly parameterised higher-order probabilistic models
- Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints
- Some results on complex algebras of subalgebras
- States of convex sets
- Testing Finitary Probabilistic Processes
- Trace semantics via determinization
- Universal coalgebra: A theory of systems
- Upper-expectation bisimilarity and Łukasiewicz -calculus
Cited in
(23)- Integral representation for powers of elements in locally m-convex algebras and applications
- (In)finite trace equivalence of probabilistic transition systems
- Steps and traces
- Convex and linear effect algebras
- Relations into algebras of probabilistic distributions
- Termination in convex sets of distributions
- scientific article; zbMATH DE number 7559483 (Why is no real title available?)
- Monads and Quantitative Equational Theories for Nondeterminism and Probability
- Characteristic logics for behavioural hemimetrics via fuzzy lax extensions
- The theory of traces for systems with nondeterminism, probability, and termination
- A trustful monad for axiomatic reasoning with probability and nondeterminism
- Distribution bisimilarity via the power of convex algebras
- Convex powerdomains. I
- Graded monads and graded logics for the linear time -- branching time spectrum
- Preservation and reflection of bisimilarity via invertible steps
- Semialgebras and weak distributive laws
- Behavioural metrics: compositionality of the Kantorovich lifting and an application to up-to techniques
- Effect semantics for quantum process calculi
- Expressive quantale-valued logics for coalgebras: an adjunction-based approach
- A completeness theorem for probabilistic regular expressions
- Convex language semantics for nondeterministic probabilistic automata
- Tapes as stochastic matrices of string diagrams
- Generalized Kantorovich-Rubinstein duality beyond Hausdorff and Kantorovich
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 Q5111636)
