Automatic Inference of Finite-State Plant Models From Traces and Temporal Properties
Extended Finite-State Machine Induction Using SAT-Solver