{"id":"W2170568320","doi":"10.1007/11562436_29","title":"Submodule Construction for Extended State Machine Models","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa","funders":"","keywords":"Parameterized complexity; Finite-state machine; Computer science; Automaton; State (computer science); Simple (philosophy); Variable (mathematics); Context (archaeology); Theoretical computer science; State variable; Algorithm; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001314725,0.0005801592,0.000924223,0.0006636581,0.0007301282,0.001283762,0.001952414,0.0009556887,0.007342871],"category_scores_gemma":[0.002708594,0.0007346954,0.002130165,0.0007224425,0.0014105,0.004151616,0.004337941,0.003032378,0.001744482],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005961146,"about_ca_system_score_gemma":0.0008967547,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004522898,"about_ca_topic_score_gemma":0.0006751048,"domain_scores_codex":[0.999008,0.0002766766,0.00008890343,0.0002041968,0.0003030876,0.0001190934],"domain_scores_gemma":[0.998665,0.0005392474,0.00004490402,0.000558892,0.0001402649,0.00005174812],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00008729724,0.00007620186,0.0002824239,0.0002523795,0.00004427085,0.0002270063,0.0003870861,0.02436978,0.007963353,0.8784913,0.002857161,0.08496165],"study_design_scores_gemma":[0.00002357762,0.00005807524,0.00008577359,0.00004893458,0.00003283821,0.0001238539,0.0000480218,0.09782608,0.01016463,0.8791903,0.0123717,0.00002613147],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006891907,0.00005226365,0.9877538,0.00007964225,0.00003987818,0.0000622919,0.00009846048,0.0009014753,0.00412029],"genre_scores_gemma":[0.2489666,0.000277641,0.7329664,0.000165549,0.00006362755,0.0006159532,0.001154289,0.0007912549,0.01499865],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007342871,"threshold_uncertainty_score":0.02456439,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02844325718695691,"score_gpt":0.2777421197745761,"score_spread":0.2492988625876192,"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."}}