Abstraction, Refinement and Proof for Probabilistic Systems
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- MDPs as distribution transformers: affine invariant synthesis for safety objectives
- Probabilistic program verification via inductive synthesis of inductive invariants
- Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting
- Program algebra for quantitative information flow
- Data-driven invariant learning for probabilistic programs
- Foundations of probabilistic programming
- scientific article; zbMATH DE number 1400096 (Why is no real title available?)
- Modelling web-service uncertainty: the angel/daemon approach
- Measure transformer semantics for Bayesian machine learning
- Hidden-Markov program algebra with iteration
- Inferring expected runtimes of probabilistic integer programs using expected sizes
- Healthiness conditions for predicate transformers
- Learning probabilistic termination proofs
- Latticed \(k\)-induction with an application to probabilistic programs
- Reactive Probabilistic Programs and Refinement Algebra
- Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops
- Probabilistic Choice in Refinement Algebra
- A theory for the semantics of stochastic and non-deterministic continuous systems
- Relations into algebras of probabilistic distributions
- Quantitative verification with neural networks
- Probabilistic verification of Herman's self-stabilisation algorithm
- On higher-order probabilistic subrecursion
- Positivity-hardness results on Markov decision processes
- Foundations for entailment checking in quantitative separation logic
- On higher-order probabilistic subrecursion
- Weakest precondition reasoning for expected run-times of probabilistic programs
- A debugger for probabilistic programs
- Formalising Semantics for Expected Running Time of Probabilistic Programs
- Abstraction of Probabilistic Systems
- Probabilistic datatypes
- Generating functions for probabilistic programs
- Probabilistic may/must testing: retaining probabilities by restricted schedulers
- On Abstraction of Probabilistic Systems
- The computational complexity of QoS measures for orchestrations. The computational complexity of QoS measures
- A UTP approach for rTiMo
- Automated reasoning for probabilistic sequential programs with theorem proving
- A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language
- Tank monitoring: A pAMN case study
- A temporal logic for proving properties of topologically general executions
- On the hardness of analyzing probabilistic programs
- Weakest preconditions in fibrations
- Fifty years of Hoare's logic
- Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs
- Compositional noninterference from first principles
- Exploring probabilistic bisimulations. I
- Understanding probabilistic programs
- Semantics of the probabilistic typed lambda calculus. Markov chain semantics, termination behavior, and denotational semantics
- ``Keep definition, change category -- a practical approach to state-based system calculi
- On Lexicographic Proof Rules for Probabilistic Termination
- Identity-Based Cryptosystems and Quadratic Residuosity
- Stepwise refinement of sequence diagrams with soft real-time constraints
- A novel stochastic game via the quantitative -calculus
- Quantitative logics for equivalence of effectful programs
- Weakest preconditions in fibrations
- Proof rules for the correctness of quantum programs
- Probabilistic NetKAT
- Automated termination analysis of polynomial probabilistic programs
- The shadow knows: refinement and security in sequential programs
- Using probabilistic Kleene algebra pKA for protocol verification
- Typed linear algebra for weigthed (probabilistic) automata
- On lexicographic proof rules for probabilistic termination
- Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language
- Out of control: reducing probabilistic models by control-state elimination
- Weighted automata for exact inference in discrete probabilistic programs
- Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems
- Proofs of randomized algorithms in Coq
- A trustful monad for axiomatic reasoning with probability and nondeterminism
- Testing Finitary Probabilistic Processes
- Refinement algebra for probabilistic programs
- Quantitative verification with neural networks
- Computing expected runtimes for constant probability programs
- How to brew-up a refinement ordering
- Reasoning about faulty quantum programs
- A specification logic for programs in the probabilistic guarded command language
- Integrating stochastic reasoning into Event-B development
- Mixed nondeterministic-probabilistic automata: blending graphical probabilistic models with nondeterminism
- Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving
- A probability perspective
- Towards a linear algebra of programming
- Approximate counting in SMT and value estimation for probabilistic programs
- Semantics of probabilistic processes. An operational approach
- On the inner structure of multirelations
- Does a Program Yield the Right Distribution?
- Quantum weakest preconditions for reasoning about expected runtimes of quantum programs
- Quantum expectation transformers for cost analysis
- Algorithmic probabilistic game semantics. Playing games with automata
- Quantifier elimination and Craig interpolation: the quantitative way
- A denotational semantics for low-level probabilistic programs with nondeterminism
- Formal semantics of a classical-quantum language
- Algebra for quantitative information flow
- Simple types for probabilistic termination
- A Kleene algebra with tests for union bound reasoning about probabilistic programs
- Generating counterexamples for quantitative safety specifications in probabilistic B
- Formalizing probabilistic noninterference
- Moment-based analysis of Bayesian network properties
- Predicate transformers for extended probability and non-determinism
- Quantum weakest preconditions for reasoning about expected runtimes of quantum programs
- scientific article; zbMATH DE number 7559289 (Why is no real title available?)
- A unification of probabilistic choice within a design-based model of reversible computation
- Algebraic reasoning for probabilistic action systems and while-loops
This page was built for publication: Abstraction, Refinement and Proof for Probabilistic Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4650346)
