{"id":"W2545534145","doi":"10.1109/edtc.1994.326876","title":"An extended OBDD representation for extended FSMs","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"Natural Sciences and Engineering Research Council of Canada; École Polytechnique Fédérale de Lausanne; CMC Microsystems","keywords":"Computer science; Datapath; Binary decision diagram; Theoretical computer science; Finite-state machine; Programming language; Representation (politics); Predicate (mathematical logic); Formal verification; Algorithm; Parallel computing","routes":{"ca_aff":true,"ca_fund":true,"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.0006071528,0.0005671551,0.0004200251,0.001170646,0.0004922612,0.001892845,0.0009473658,0.0006682109,0.01090107],"category_scores_gemma":[0.001588209,0.0002338768,0.0007976864,0.0009247832,0.0006720466,0.002522345,0.0008700142,0.0009708399,0.001849377],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000614421,"about_ca_system_score_gemma":0.000736783,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001762876,"about_ca_topic_score_gemma":0.00200355,"domain_scores_codex":[0.999496,0.0001095786,0.00006125361,0.0001131357,0.0001614101,0.00005864827],"domain_scores_gemma":[0.9994122,0.0001980495,0.00005791428,0.0001567792,0.0001549484,0.00002006593],"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.000165429,0.00005497813,0.0004922522,0.0003531722,0.00003288716,0.0008758272,0.0003374802,0.0570218,0.008859429,0.6812957,0.008952687,0.2415583],"study_design_scores_gemma":[0.00005182974,0.00006465749,0.0002110208,0.0001757822,0.00007021603,0.0009678028,0.0001035703,0.2763573,0.012597,0.3587947,0.3505563,0.00004981162],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004238126,0.0004310098,0.9795932,0.0001980705,0.0001904431,0.00007649622,0.0007220655,0.001897755,0.0126529],"genre_scores_gemma":[0.155331,0.001117849,0.8218452,0.0002871681,0.000139306,0.00028547,0.002003382,0.0004332263,0.01855731],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01090107,"threshold_uncertainty_score":0.03646767,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09143256092160935,"score_gpt":0.3679633936864008,"score_spread":0.2765308327647915,"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."}}