Pages that link to "Item:Q2568451"

The following pages link to Abstract interpretation of programs as Markov decision processes (Q2568451):

Displaying 8 items.

• A game-based abstraction-refinement framework for Markov decision processes (Q600979) (← links)
• Probabilistic model checking of biological systems with uncertain kinetic rates (Q764350) (← links)
• Approximate counting in SMT and value estimation for probabilistic programs (Q1683928) (← links)
• Markov chains and Markov decision processes in Isabelle/HOL (Q1701041) (← links)
• Quantitative static analysis of communication protocols using abstract Markov chains (Q2322314) (← links)
• Least upper bounds for probability measures and their applications to abstractions (Q2637319) (← links)
• Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates (Q3646252) (← links)
• Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation (Q5404082) (← links)