Instruct: Given a paper title, retrieve paper titles that are cited by the given paper
Query: Probabilistic reachability for parametric Markov models
Stochastic Model Checking
Robust Markov Decision Processes
Simulation-Based Algorithms for Markov Decision Processes
Probabilistic Weighted Automata
Faster dynamic programming for Markov decision processes
Ambiguous Partially Observable Markov Decision Processes: Structural Results and Applications
An automata-theoretic approach to branching-time model checking
Solving Markov Decision Processes via Simulation
Probabilistic Verification of Discrete Event Systems using Acceptance Sampling
Learning the Structure of Continuous Markov Decision Processes
Systematic Model-Based Safety Assessment via Probabilistic Model Checking
discrete - time controlled markov processes with average cost criterion : a survey * .
Verification of Markov Decision Processes with Risk-Sensitive Measures
Reversible Computation in Petri Nets
Particle Gibbs for Infinite Hidden Markov Models
MARKOV CHAIN MONTE CARLO METHODS: COMPUTATION AND INFERENCE
Hidden Markov processes
Competitive Markov decision processes with partial observation
Parametric POMDPs for planning in continuous state spaces
The infinite partially observable Markov decision process
A Fully Dynamic Universal Accumulator
A broadband SiGe power amplifier in an efficient polar transmitter using envelope-tracking for mobile WiMAX
model checking of probabalistic and nondeterministic systems .
Dye-sensitized Solar Cells
Domain Specific Learning for Newborn Face Recognition