Congruences for stochastic automata

DOI10.13137/2464-8728/33313zbMATH Open1490.68126MaRDI QIDQ5087789FDOQ5087789

Authors Ernst-Erich Doberkat 

Publication date 1 July 2022

Full work available at URL https://arxiv.org/abs/2011.06954

zbMATH Keywords

congruencesfactoringstochastic automataGiry functorstepwise reduction

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32)

Recommendations

• scientific article; zbMATH DE number 3988714
• Lattice properties of congruences for stochastic relations
• Factoring stochastic relations
• scientific article; zbMATH DE number 3956448
• Congruences and homomorphisms of fuzzy automata

Cites Work

• scientific article; zbMATH DE number 3652325 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3458752 (Why is no real title available?)
• scientific article; zbMATH DE number 1166155 (Why is no real title available?)
• scientific article; zbMATH DE number 3216771 (Why is no real title available?)
• scientific article; zbMATH DE number 3290336 (Why is no real title available?)
• scientific article; zbMATH DE number 3320878 (Why is no real title available?)
• scientific article; zbMATH DE number 3360092 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• Algebraic properties of stochastic effectivity functions
• Bisimulation through probabilistic testing
• Coalgebraic logic over general measurable spaces -- a survey
• Introduction to coalgebra. Towards mathematics of states and observation
• Labelled Markov processes.
• Measurable relations
• Measure theory. Vol. I and II
• Some Selection Theorems for Measurable Functions
• Special topics in mathematics for computer scientists. Sets, categories, topologies and measures
• Stochastic automata: stability, nondeterminism, and prediction
• The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator
• Universal coalgebra: A theory of systems

Cited In (5)

• Title not available (Why is no real title available?)
• Lattice properties of congruences for stochastic relations
• Title not available (Why is no real title available?)
• Factoring stochastic relations
• Title not available (Why is no real title available?)

This page was built for publication: Congruences for stochastic automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5087789)