Instruct: Given a paper title, retrieve paper titles that are cited by the given paper
Query: Automatic Inference of Finite-State Plant Models From Traces and Temporal Properties
combining exact and metaheuristic techniques for learning extended finite - state machines from test scenarios and temporal properties .
Timed Automata Approach to CAN Verification
Optimal control as a graphical model inference problem
Explaining Transition Systems through Program Induction
Learning Moore Machines from Input-Output Traces
System Identification of Nonlinear State-Space Models
Parameter Estimation For Probabilistic Finite-State Transducers
Reasoning with Temporal Logic on Truncated Paths
Automatic verification of control system implementations
Identifying the dynamic model used by the KUKA LWR: A reverse engineering approach
Model-checking for real-time systems
Evaluation of a newly developed model-driven PLC programming approach for machine and plant automation
Applying software model checking to PALS systems
Probabilistic Verification of Discrete Event Systems using Acceptance Sampling
A Gentle Introduction to Model Predictive Control ( MPC ) Formulations based on Discrete Linear State Space Models
Kripke modelling and verification of temporal specifications of a multiple UAV system
Transition Systems Reduction: Balancing between Precision and Simplicity
Survey of model-based failure detection and isolation in complex plants
A Survey of Statistical Model Checking
An approach to online identification of Takagi-Sugeno fuzzy models
Block Algorithms to speed up the Sparse Matrix by Dense Matrix Multiplication on High Performance Workstations
Finite state machine induction using genetic algorithm based on testing and model checking
Designing and Implementing Corporate Social Responsibility
Personalized time-aware tweets summarization
Using location for personalized POI recommendations in mobile environments