Abstract interpretation of programs as Markov decision processes
From MaRDI portal
Publication:2568451
DOI10.1016/j.scico.2005.02.008zbMath1088.68039MaRDI QIDQ2568451
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
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
60J99: Markov processes
Related Items
Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation, A game-based abstraction-refinement framework for Markov decision processes, Probabilistic model checking of biological systems with uncertain kinetic rates, 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