{"id":"W1583435469","doi":"10.1109/mwscas.1994.519225","title":"On concurrent error detection of finite state machine systems","year":2002,"lang":"en","type":"article","venue":"","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"","keywords":"Finite-state machine; Computer science; Key (lock); Sequence (biology); State (computer science); Bounded function; Algorithm; Error detection and correction; Fault detection and isolation; Signature (topology); Mathematics; Artificial intelligence","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":[],"consensus_categories":[],"category_scores_codex":[0.0001369445,0.00009522744,0.0001595347,0.00005601893,0.00004487676,0.00006495035,0.0002740671,0.00002804805,0.00002949941],"category_scores_gemma":[0.00001852906,0.00007419428,0.000044681,0.0002244376,0.00001688925,0.0001575155,0.00003628239,0.00007162026,0.0001346559],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002232644,"about_ca_system_score_gemma":0.000004300182,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001392838,"about_ca_topic_score_gemma":0.00001689862,"domain_scores_codex":[0.999084,0.00005119111,0.0002717443,0.0002110932,0.0002294831,0.0001524711],"domain_scores_gemma":[0.9993657,0.00006609534,0.0001207529,0.000319821,0.00007060578,0.0000569768],"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.00003632118,0.00118541,0.0004054155,0.0006213486,0.0001793014,0.0001237857,0.002647725,0.08209737,0.004989962,0.3323387,0.02277677,0.5525979],"study_design_scores_gemma":[0.0003464812,0.0001481584,0.0001270401,0.00006394275,0.000001640153,0.00001091848,0.000009287868,0.9872384,0.001283061,0.0001032106,0.01055471,0.0001131209],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01338675,0.0007903287,0.9784265,0.00007438358,0.00102754,0.0001797939,0.00003759346,0.0001256184,0.005951483],"genre_scores_gemma":[0.9978136,0.00001348577,0.0001131171,0.00003538583,0.000013801,0.00001101237,0.000001524377,0.000003914723,0.0019941],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9844269,"threshold_uncertainty_score":0.3025555,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02326949391678227,"score_gpt":0.2334544530415316,"score_spread":0.2101849591247493,"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."}}