Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper.
Query: PARAM: A model checker for parametric Markov models
Symbolic and parametric model checking of discrete-time markov Chains
How to Learn a Model Checker
Fortuna: Model Checking Priced Probabilistic Timed Automata
A Survey of Statistical Model Checking
SPOT: an extensible model checking library using transition-based generalized Bu/spl uml/chi automata
On statistical model checking of stochastic systems
Counterexamples in Probabilistic LTL Model Checking for Markov Chains
Psl model checking and run-time verification via testers
Ymer: A statistical model checker
An automata-theoretic approach to branching-time model checking
Symbolic model checking without BDDs
PRISM : Probabilistic Symbolic Model Checker ?
CMC: a pragmatic approach to model checking real code
Model-checking continuous-time Markov chains
Another Look at LTL Model Checking
Counterexample-guided abstraction refinement for symbolic model checking
model checking of probabalistic and nondeterministic systems .
Bandera: a source-level interface for model checking Java programs
Model-checking algorithms for continuous-time Markov chains
A storm is Coming: A Modern Probabilistic Model Checker
Novel Unobtrusive Approach for Sleep Monitoring Using Fiber Optics in an Ambient Assisted Living Platform
ecosystem stability and compensatory effects in the inner mongolia grassland .
Use of vitamin C as an immunostimulant. Effect on growth, nutritional quality, and immune response of Labeo rohita (Ham.)
It Usually Works: The Temporal Logic of Stochastic Systems
3D-model-based face replacement in video