Expectation Invariants for Probabilistic Program Loops as Fixed Points

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-10936-7_6
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Wilson Loops in Terms of Color Invariants

Journal of High Energy Physics
High Energy PhysicsNuclear
2019English

Generating All Polynomial Invariants in Simple Loops

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
2007English

Fixed Points for Contractive Multifunctions

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1971English

Fixed Point Theorems Involving Numerical Invariants

Compositio Mathematica
Number TheoryAlgebra
2019English

Algebraic Reasoning for Probabilistic Action Systems and While-Loops

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
2008English

On Probabilistic Alpha-Fuzzy Fixed Points and Related Convergence Results in Probabilistic Metric and Menger Spaces Under Some Pompeiu-Hausdorff-Like Probabilistic Contractive Conditions

Journal of Function Spaces
Analysis
2015English

Addendum To: “Fixed Points for Iterates”

Pacific Journal of Mathematics
Mathematics
1969English

The Study of Fixed Points for Multivalued Mappings in a Menger Probabilistic Metric Space Endowed With a Graph

Fixed Point Theory and Applications
GeometryApplied MathematicsTopology
2015English

Essential Fixed Points

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy