Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper
Query: Model-checking continuous-time Markov chains
Approximate Symbolic Model Checking of Continuous-Time Markov Chains
Incremental quantitative verification for Markov decision processes
Probabilistic reachability for parametric Markov models
An automata-theoretic approach to branching-time model checking
PARAM: A model checker for parametric Markov models
Run-time efficient probabilistic model checking
model checking of probabalistic and nondeterministic systems .
discrete - time controlled markov processes with average cost criterion : a survey * .
A Survey of Statistical Model Checking
The Ins and Outs of the Probabilistic Model Checker MRMC
A Modest Approach to Checking Probabilistic Timed Automata
Symbolic Model Checking for Real-Time Systems
Learning the Structure of Continuous Markov Decision Processes
Another Look at LTL Model Checking
The Complexity of Temporal Logic Model Checking
Probabilistic Verification of Discrete Event Systems using Acceptance Sampling
An Analysis of Model-Based Interval Estimation for Markov Decision Processes
solutions to homework 8 - continuous - time markov chains .
How to Learn a Model Checker
Finite-state discrete-time Markov chain models of gene regulatory networks
WCDMA direct-conversion receiver front-end comparison in RF-CMOS and SiGe BiCMOS
From evolutionary computation to the evolution of things
Unlabeled Samples Generated by GAN Improve the Person Re-identification Baseline in Vitro
Compiling machine learning programs via high-level tracing
Verifying Continuous Time Markov Chains