Instruct: Given a paper title, retrieve paper titles that are cited by the given paper
Query: combining exact and metaheuristic techniques for learning extended finite - state machines from test scenarios and temporal properties .
Inferring Finite-State Models with Temporal Constraints
The Complexity of Temporal Logic Model Checking
A learning-based method for combining testing techniques
An Abstract State Machine (ASM) Representation of Learning Process in FLOSS Communities
Probably approximately correct learning in stochastic games with temporal logic specifications
Challenging the "embarrassingly sequential": parallelizing finite state machine-based computations through principled speculation
Symbolic Model Checking for Real-Time Systems
automata for modeling real - time systems .
Timed Automata Approach to CAN Verification
Automatic Testing with Formal Methods
Bandera: extracting finite-state models from Java source code
Enhancing JFLAP with automata construction problems and automated feedback
Reduction Techniques for Model Checking Markov Decision Processes
Using JFLAP to interact with theorems in automata theory
Action Language Verifier: An Infinite-State Model Checker for Reactive Software Specifications
State of the art: Dynamic symbolic execution for automated test generation
Learning syntax by automata induction
Incremental quantitative verification for Markov decision processes
Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples
Run-time efficient probabilistic model checking
Bi-Directional Spatial-Semantic Attention Networks for Image-Text Matching
An effective recursive partitioning approach for the packing of identical rectangles in a rectangle
Error Detecting and Error Correcting Codes
Wide Compression: Tensor Ring Nets
When Deep Learning Meets Metric Learning: Remote Sensing Image Scene Classification via Learning Discriminative CNNs