{"id":"W1903645564","doi":"10.1007/978-3-319-03089-0_29","title":"Zone-Based Synthesis of Strict 2-Phase Fault Recovery","year":2013,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Automaton; Timed automaton; Algorithm; Bounded function; Fault (geology); Graph; Set (abstract data type); Fault model; Representation (politics); Theoretical computer science; Mathematics; Programming language","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"],"consensus_categories":[],"category_scores_codex":[0.001967625,0.0005339921,0.0007349279,0.001285274,0.000156509,0.0003376422,0.004426387,0.0004239845,0.00006724736],"category_scores_gemma":[0.0007948126,0.0004912948,0.0002102362,0.0009564503,0.0007701873,0.000965553,0.0007415021,0.0006559761,0.00008525401],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003339091,"about_ca_system_score_gemma":0.0007560867,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004500697,"about_ca_topic_score_gemma":0.000008025371,"domain_scores_codex":[0.9957694,0.0001357446,0.0008634363,0.001405936,0.001227788,0.0005976604],"domain_scores_gemma":[0.9946315,0.001684435,0.0007499566,0.002296956,0.0004626738,0.0001745307],"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.00001470517,0.00006566582,0.000005112058,0.00007078653,0.000009817034,0.00001310588,0.00009497187,0.02412468,0.0004734215,0.01309052,0.00002738613,0.9620098],"study_design_scores_gemma":[0.0003503487,0.0004193134,0.00006526306,0.0005431447,0.00001572773,0.00002017273,1.192665e-7,0.91484,0.05152432,0.03039116,0.001140406,0.0006900552],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001927275,0.0002048265,0.9935889,0.0002204848,0.001657207,0.0005141775,0.00001522392,0.0001437171,0.003462727],"genre_scores_gemma":[0.0393692,0.00003334634,0.9597319,0.0004502703,0.0001687157,0.00002878284,0.000003564834,0.00003304331,0.0001811544],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9613197,"threshold_uncertainty_score":0.9997539,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02647070472497616,"score_gpt":0.2825107681267793,"score_spread":0.2560400634018031,"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."}}