{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00146445,0.0005011273,0.0004901316,0.0007678024,0.0002826853,0.0004281089,0.002791066,0.000277335,0.00001061692],"category_scores_gemma":[0.00009967768,0.0004837158,0.0001495509,0.0004525303,0.0006996614,0.001478733,0.0006630031,0.0005923529,0.00001737908],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004284667,"about_ca_system_score_gemma":0.0004083842,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001239801,"about_ca_topic_score_gemma":0.00002877663,"domain_scores_codex":[0.996288,0.00004505589,0.0006434474,0.001550874,0.000802212,0.0006704076],"domain_scores_gemma":[0.9972247,0.0002808457,0.0004282689,0.001526313,0.0003802257,0.0001596011],"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.000009793703,0.00001417432,0.000001700857,0.00002411847,0.000005662321,0.000003211161,0.0002671252,0.08386191,0.00007720108,0.1659856,0.000005384788,0.7497441],"study_design_scores_gemma":[0.0001852875,0.00008994646,0.0000124855,0.0000625239,0.000003924171,0.00004779549,4.802347e-8,0.5960044,0.001970159,0.4004504,0.000845151,0.0003278486],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00002744195,0.0003702646,0.9935887,0.0003648179,0.002343723,0.0007972049,0.00002399389,0.000241934,0.002241889],"genre_scores_gemma":[0.008882095,0.0000698566,0.9896836,0.0005559935,0.0003555178,0.00003372131,0.00001016475,0.00003762396,0.000371457],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7494163,"threshold_uncertainty_score":0.9997615,"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."}}