Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper.
Query: What's decidable about hybrid automata?
Hybrid Automata: an algorithmic approach to the specification and verification of hybrid systems
A note on undecidable properties of formal languages
An Automata-Theoretic Approach to Linear Temporal Logic
Does a Rock Implement Every Finite-State Automaton?
A Unified Construction of the Glushkov, Follow, and Antimirov Automata
A Modest Approach to Checking Probabilistic Timed Automata
timed automata : semantics , algorithms and tools .
The Algorithmic Analysis of Hybrid Systems
A collection of tools for making automata theory and formal languages come alive
Discrete abstractions of hybrid systems
Using JFLAP to interact with theorems in automata theory
From AADL to Timed Automaton-A Verification Approach
Specification and Verification of Concurrent Programs by forall-Automata
Exact finite-state machine identification from scenarios and temporal properties
A Note on the Reduction of Two-Way Automata to One-Way Automata
A SAT-based procedure for verifying finite state machines in ACL2
WQO is decidable for factorial languages
Teaching push-down automata and turing machines
Undecidability of static analysis
algorithms for learning finite automata from queries : a uniied view .
Symbolic Model Checking for Real-Time Systems
Integration of Decision Support Systems and Data Mining for Improved Decision Making
Averaging Weights Leads to Wider Optima and Better Generalization
Using Human Computation to Acquire Novel Methods for Addressing Visual Analogy Problems on Intelligence Tests
Hepatorenal Syndrome: A Severe, but Treatable, Cause of Kidney Failure in Cirrhosis