{"id":"W2973912839","doi":"10.1007/978-3-030-31157-5_8","title":"Learning Communicating State Machines","year":2019,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Machine Learning and Algorithms","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"Computer Research Institute of Montréal","funders":"","keywords":"Computer science; Finite-state machine; Conformance testing; Automaton; Modular design; Oracle; Component (thermodynamics); Theoretical computer science; Deterministic finite automaton; Equivalence (formal languages); Artificial intelligence; Algorithm; Programming language; Discrete mathematics; Mathematics","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","open_science","research_integrity"],"consensus_categories":[],"category_scores_codex":[0.001518739,0.0005864328,0.0006226377,0.0007201029,0.0004915674,0.0008312386,0.005438247,0.0002166548,0.0000302135],"category_scores_gemma":[0.0001929551,0.0005230224,0.0001540365,0.0005487347,0.0004335264,0.0005422906,0.003228846,0.00262246,0.0002074092],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001740271,"about_ca_system_score_gemma":0.0004682366,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009428559,"about_ca_topic_score_gemma":0.00004126668,"domain_scores_codex":[0.9961637,0.0001220777,0.0005543464,0.001438306,0.0009579899,0.0007635634],"domain_scores_gemma":[0.9962735,0.0008970214,0.0004598118,0.002013903,0.0001956833,0.0001601087],"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.000001621833,0.00001056173,0.0003597272,0.00003194425,0.000008039665,0.0000298809,0.0009759782,0.1555024,0.00003986829,0.004059606,0.000006140985,0.8389742],"study_design_scores_gemma":[0.0002068637,0.0001890947,0.0001753326,0.0003787339,0.000003790168,0.00006084436,1.366731e-7,0.9575779,0.00009308962,0.03596038,0.00470479,0.0006490849],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0002026196,0.0005542065,0.9836812,0.0008969511,0.001358113,0.0002528145,0.000001985632,0.0003805772,0.01267151],"genre_scores_gemma":[0.1434176,0.0001610757,0.8437862,0.001757835,0.0005865076,0.00000709385,0.00001593542,0.0001092554,0.01015846],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8383251,"threshold_uncertainty_score":0.9999428,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01189595784373488,"score_gpt":0.2543140481308387,"score_spread":0.2424180902871039,"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."}}