{"id":"W2756339378","doi":"10.1007/978-3-319-67549-7_8","title":"From Passive to Active FSM Inference via Checking Sequence Construction","year":2017,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Machine Learning and Algorithms","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":false,"ca_institutions":"Computer Research Institute of Montréal","funders":"","keywords":"TRACE (psycholinguistics); Inference; Sequence (biology); Computer science; Finite-state machine; A priori and a posteriori; Set (abstract data type); Model checking; Solver; Algorithm; Reset (finance); Theoretical computer science; Artificial intelligence; Programming language","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.0004242847,0.0006413975,0.0006407242,0.0006620564,0.0006109381,0.001196377,0.004872203,0.0003644109,0.0000370402],"category_scores_gemma":[0.0004019976,0.0006043625,0.0001309615,0.0003069326,0.0008463714,0.001016399,0.002115614,0.001465448,0.0001436952],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004009645,"about_ca_system_score_gemma":0.0006833335,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005929943,"about_ca_topic_score_gemma":0.0001243516,"domain_scores_codex":[0.9955493,0.00005624663,0.0004604232,0.002147228,0.001058822,0.0007279905],"domain_scores_gemma":[0.9960614,0.0005810316,0.0006076829,0.002068627,0.0003675195,0.0003137463],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00000463777,0.000008533068,0.0000559026,0.000008815396,0.00001261543,0.0000931988,0.00154587,0.01063505,0.0004416381,0.003287497,0.000005504382,0.9839007],"study_design_scores_gemma":[0.0003076551,0.0002287358,0.0006420904,0.001025283,0.00001396288,0.0001023329,7.335277e-7,0.6826792,0.005287073,0.3061886,0.002224419,0.001299836],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0003243437,0.00005523717,0.9912792,0.001458999,0.003545908,0.0003449559,0.00002024972,0.0002172458,0.002753854],"genre_scores_gemma":[0.275891,0.00001942693,0.72101,0.001136011,0.001498112,0.00001722527,0.00001353202,0.00003974726,0.0003748885],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9826009,"threshold_uncertainty_score":0.9998405,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02054604671247389,"score_gpt":0.2860851316010286,"score_spread":0.2655390848885547,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}