Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper.
Query: Symbolic and parametric model checking of discrete-time markov Chains
model checking of probabalistic and nondeterministic systems .
Configurable Markov Decision Processes
Patterns in Property Specifications for Finite-State Verification
An Exhaustive DPLL Algorithm for Model Counting
Formal Verification of Probabilistic SystemC Models with Statistical Model Checking
Modeling and verification of time dependent systems using time Petri nets
chapter 6 continuous time markov chains .
Bisimulation minimisation mostly speeds up probabilistic model checking
Applying software model checking to PALS systems
Model-checking for real-time systems
Synchronizable Test Sequences of Finite State Machines
Systematic Model-Based Safety Assessment via Probabilistic Model Checking
Action Language Verifier: An Infinite-State Model Checker for Reactive Software Specifications
Evaluating access control policies through model checking
Exact finite-state machine identification from scenarios and temporal properties
An Analysis of Model-Based Interval Estimation for Markov Decision Processes
FO Model Checking on Posets of Bounded Width
Automatic verification of probabilistic concurrent finite state programs
Nusmv 2: An opensource tool for symbolic model checking
Inferring Finite-State Models with Temporal Constraints
A case study of trajectory transfer through non-rigid registration for a simplified suturing scenario
Integrating Predictive Analytics into Complex Event Processing by Using Conditional Density Estimations
Skin diseases associated with Malassezia yeasts: facts and controversies.
Technology acceptance model (TAM) and social media usage: an empirical study on Facebook
A Markov Chain Model Checker