{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004045074,0.00009236413,0.00009745948,0.00008322656,0.0001163922,0.00014234,0.0006789461,0.00005486573,0.0001112592],"category_scores_gemma":[0.0001475744,0.00008485109,0.00005092215,0.0002943301,0.00002841397,0.001331338,0.00004652016,0.00005286505,0.00007748229],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003074587,"about_ca_system_score_gemma":0.000007955388,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000103382,"about_ca_topic_score_gemma":0.000002370808,"domain_scores_codex":[0.9988601,0.0000985556,0.0002214767,0.0004058932,0.0002015288,0.0002124809],"domain_scores_gemma":[0.9987381,0.00007190189,0.00008443947,0.0009132997,0.0001108544,0.00008146332],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000007431916,0.000147946,0.00003567403,0.000007294821,0.000005722279,9.815776e-7,0.000604171,0.00006507536,0.007787579,0.5239028,0.002259837,0.4651754],"study_design_scores_gemma":[0.0003265052,0.0001995985,0.004702095,0.000002765438,0.00000379005,0.00001045919,0.00005711394,0.9229335,0.0421892,0.02705677,0.002358736,0.000159514],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002333881,0.00002836076,0.9857277,0.000346438,0.0004114008,0.0003304973,0.000001049796,0.0003522865,0.01046842],"genre_scores_gemma":[0.1978214,0.000007688354,0.8004143,0.0002370519,0.00006604538,0.00007704723,0.000003594885,0.000007338905,0.001365489],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9228684,"threshold_uncertainty_score":0.3460127,"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."}}