{"id":"W1602205142","doi":"10.1007/11513988_24","title":"Improved Probabilistic Models for 802.11 Protocol Verification","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"Federation for the Humanities and Social Sciences","keywords":"Computer science; Probabilistic logic; Reachability; Exponential backoff; Model checking; Abstraction; Protocol (science); Probabilistic CTL; Divergence-from-randomness model; Computer network; Distributed computing; Wireless; Theoretical computer science; Probabilistic analysis of algorithms; Throughput; Artificial intelligence","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00197986,0.0005929379,0.0005177302,0.0006436505,0.0003008661,0.0005842713,0.004087305,0.0004524481,0.000007732896],"category_scores_gemma":[0.0003109032,0.0005570273,0.0001657881,0.0005538495,0.0005839957,0.001513782,0.0006814168,0.0005468408,0.00001548708],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006734186,"about_ca_system_score_gemma":0.0008260701,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001222258,"about_ca_topic_score_gemma":0.00004405029,"domain_scores_codex":[0.9955531,0.00005620019,0.0008556093,0.001993831,0.0007985293,0.0007427593],"domain_scores_gemma":[0.9959491,0.0003702351,0.0006058786,0.002292996,0.0006087365,0.0001730587],"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.0000212519,0.00005115226,0.00000204992,0.0001456951,0.000005244119,0.000001619172,0.0003815082,0.08413322,0.0003103621,0.2140161,0.00001435188,0.7009174],"study_design_scores_gemma":[0.0003323038,0.0001955615,0.0000117807,0.0001563089,0.000005838175,0.00001488731,5.21309e-8,0.7676379,0.001809394,0.2260434,0.003297831,0.0004947286],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.000002960221,0.00002457929,0.9509474,0.0002935701,0.0008774123,0.04621064,0.000009172474,0.000273141,0.001361116],"genre_scores_gemma":[0.001534225,0.000002688291,0.9745778,0.0004559092,0.0005445188,0.0225186,0.000008469769,0.00004968116,0.0003080745],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7004227,"threshold_uncertainty_score":0.9996881,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04303138857095064,"score_gpt":0.3083600198162897,"score_spread":0.2653286312453391,"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."}}