Abstract interpretation of programs as Markov decision processes

DOI10.1016/J.SCICO.2005.02.008MaRDI QIDQ2568451zbMATH OpenOpenAlexFDO

Authors David Monniaux

Publication date 10 October 2005

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2005.02.008

zbMATH Keywords

abstract interpretationmeasure theoryprobabilistic semanticsprobabilitiesprogram semantics

Mathematics Subject Classification ID

Markov processes (60J99) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 2090849
• scientific article; zbMATH DE number 1617330
• Least Upper Bounds for Probability Measures and Their Applications to Abstractions
• Probabilistic abstract interpretation
• An abstract Monte-Carlo method for the analysis of probabilistic programs

Cited in

(16)

• Approximate counting in SMT and value estimation for probabilistic programs
• Markov chains and Markov decision processes in Isabelle/HOL
• Quantitative static analysis of communication protocols using abstract Markov chains
• Least upper bounds for probability measures and their applications to abstractions
• Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates
• scientific article; zbMATH DE number 1953029 (Why is no real title available?)
• scientific article; zbMATH DE number 2090849 (Why is no real title available?)
• Integrating Policy Iterations in Abstract Interpreters
• Quantitative static analysis of communication protocols using abstract Markov chains
• Approximating probabilistic behaviors of biological systems using abstract interpretation
• Probabilistic abstract interpretation of imperative programs using truncated normal distributions
• Magnifying-Lens Abstraction for Markov Decision Processes
• A game-based abstraction-refinement framework for Markov decision processes
• On the Monniaux problem in abstract interpretation
• Simulation of program execution using popular Markov chains
• Probabilistic model checking of biological systems with uncertain kinetic rates

This page was built for publication: Abstract interpretation of programs as Markov decision processes

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