{"id":"W2127599966","doi":"10.1145/2228360.2228390","title":"Incremental power grid verification","year":2012,"lang":"en","type":"article","venue":"","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Grid; Context (archaeology); Key (lock); Power (physics); Formal verification; Construct (python library); Runtime verification; Iterative method; Port (circuit theory); Power grid; Distributed computing; Algorithm; Electronic 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009214582,0.000681424,0.0004388104,0.0006061704,0.0004176282,0.0008688986,0.001801671,0.000465872,0.007587091],"category_scores_gemma":[0.005557839,0.0004221435,0.0008482545,0.0003586036,0.0008485937,0.002166035,0.00175806,0.0009792537,0.001076687],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007049116,"about_ca_system_score_gemma":0.001365016,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00182076,"about_ca_topic_score_gemma":0.002740184,"domain_scores_codex":[0.9988686,0.0002117712,0.00004642565,0.0001432317,0.0005972743,0.0001327768],"domain_scores_gemma":[0.9972739,0.001230553,0.0001293437,0.0008157535,0.0005044184,0.00004604981],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003635636,0.0000925983,0.002176457,0.0003960735,0.00006397358,0.0006505366,0.0002609044,0.54163,0.05718565,0.1969707,0.006024906,0.1941847],"study_design_scores_gemma":[0.00003219656,0.00005740544,0.0002109927,0.00002565544,0.00002504818,0.000143634,0.00002942729,0.9032041,0.03563744,0.05319569,0.007420985,0.00001742465],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009547162,0.00004541384,0.9829048,0.00006334276,0.00002944249,0.00006072745,0.00009657162,0.001851695,0.005400882],"genre_scores_gemma":[0.6579716,0.0001582222,0.3357889,0.0001263401,0.00003134386,0.0001934229,0.000568028,0.0006482987,0.00451389],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007587091,"threshold_uncertainty_score":0.02538139,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007849072261300837,"score_gpt":0.1901918339375433,"score_spread":0.1823427616762425,"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."}}