Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper
Query: The Complexity of Temporal Logic Model Checking
An Automata-Theoretic Approach to Linear Temporal Logic
Metric and Layered Temporal Logic for Time Granularity
Reasoning with Temporal Logic on Truncated Paths
FO Model Checking on Posets of Bounded Width
Benchmarks for Temporal Logic Requirements for Automotive Systems
Alternating-time temporal logic
Reduction Techniques for Model Checking Markov Decision Processes
Tableau Methods for Modal and Temporal Logics
regular linear temporal logic .
On decision problems for timed automata
An Exhaustive DPLL Algorithm for Model Counting
Undecidable Problems About Timed Automata
How to Learn a Model Checker
Symbolic and parametric model checking of discrete-time markov Chains
Temporal logic control in dynamic environments with probabilistic satisfaction guarantees
Bisimulation minimisation mostly speeds up probabilistic model checking
CMC: a pragmatic approach to model checking real code
From AADL to Timed Automaton-A Verification Approach
Software model checking without source code
The Ins and Outs of the Probabilistic Model Checker MRMC
Introduction to Algorithms
Web Usability : A Literature Review
Exploring QoE in Cellular Networks: How Much Bandwidth do you Need for Popular Smartphone Apps?
The ideal nasolabial angle in rhinoplasty: a preference analysis of the general population.
Ubiquitin-Dependent Sorting into the Multivesicular Body Pathway Requires the Function of a Conserved Endosomal Protein Sorting Complex, ESCRT-I