Instruct: Given a paper title, retrieve paper titles that are cited by the given paper.
Query: General LTL Specification Mining
An Automata-Theoretic Approach to Linear Temporal Logic
Exact finite-state machine identification from scenarios and temporal properties
Simple LR(k) grammars
Code Generation from Specifications in Higher-Order Logic
A Modest Approach to Checking Probabilistic Timed Automata
Deriving Formal Specification Using Z Notation
A temporal logic for reasoning about processes and plans
Logic-Based Specification Languages for Intelligent Software Agents
Mining Temporal Specifications for Error Detection
timed automata : semantics , algorithms and tools .
TCS:: a DSL for the specification of textual concrete syntaxes in model engineering
The Temporal Logic of Programs
An automata-theoretic approach to branching-time model checking
Metric and Layered Temporal Logic for Time Granularity
The Use of Predicates In LL(k) And LR(k) Parser Generators (Technical Summary)
SemRegex: A Semantics-Based Approach for Generating Regular Expressions from Natural Language Specifications
Faster Generalized LR Parsing
Finite state machine induction using genetic algorithm based on testing and model checking
Safety, liveness and fairness in temporal logic
A SAT-based procedure for verifying finite state machines in ACL2
introduction to automata theory , languages and computation .
Step negotiation with wheel traction: a strategy for a wheel-legged robot
What drives a successful e-Learning? An empirical investigation of the critical factors influencing learner satisfaction
Enhancing the Plausibility of Law Equation Discovery
Spatial working memory maintenance : Does attention play a role ? A visual search study