{"id":"W4256605373","doi":"10.7873/date.2015.0331","title":"Automated Rectification Methodologies to Functional State-Space Unreachability","year":2015,"lang":"en","type":"article","venue":"Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015","topic":"Fault Detection and Control Systems","field":"Engineering","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Reachability; State (computer science); Debugging; Set (abstract data type); Automation; State space; Process (computing); Task (project management); Model checking; Formal verification; Theoretical computer science; Computer engineering; Algorithm; Programming language; Mathematics; Systems engineering; Engineering","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","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.00371385,0.0005720118,0.0006204987,0.0007362677,0.0001668003,0.0003990879,0.0003642335,0.0002981476,0.0003882878],"category_scores_gemma":[0.006061198,0.0005945806,0.00008706258,0.001818648,0.000112102,0.0008706307,0.00007570297,0.0004612457,0.00644247],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004565086,"about_ca_system_score_gemma":0.0003053112,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002394766,"about_ca_topic_score_gemma":0.0008770985,"domain_scores_codex":[0.9949245,0.00162106,0.001239089,0.0008290669,0.0007687745,0.000617487],"domain_scores_gemma":[0.9958208,0.0009100826,0.0003267469,0.0009691986,0.001544681,0.0004284494],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0003604341,0.0003194564,0.001162212,0.0002214312,0.00009128907,0.000005904335,0.004391096,0.4025824,0.3296408,0.0007856923,0.2486189,0.01182045],"study_design_scores_gemma":[0.003708667,0.0003560903,0.04984189,0.0004746231,0.00008673189,0.0001468116,0.0006075135,0.2620306,0.01095972,0.002396775,0.6668507,0.002539795],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09562173,0.0001196383,0.8901115,0.0009939153,0.001567512,0.001514518,0.0001276679,0.006412009,0.003531487],"genre_scores_gemma":[0.921778,0.0000621662,0.07135008,0.0002158312,0.0001970453,0.000635513,0.001186391,0.0001429771,0.004432053],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8261562,"threshold_uncertainty_score":0.9996505,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1615082697552232,"score_gpt":0.326432760432717,"score_spread":0.1649244906774938,"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."}}