{"id":"W2978395098","doi":"10.1007/978-3-030-32079-9_15","title":"Monitorability over Unreliable Channels","year":2019,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; TRACE (psycholinguistics); Automaton; Channel (broadcasting); Ideal (ethics); Mutation; Runtime verification; Distributed computing; Theoretical computer science; Real-time computing; Formal verification; Computer network","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.000962527,0.0005213989,0.0005970621,0.0005684695,0.0006912582,0.001895506,0.0008347259,0.0006530222,0.004021865],"category_scores_gemma":[0.005023561,0.0004108701,0.0004631906,0.0007352736,0.001680415,0.004785036,0.001942624,0.002619793,0.0004978008],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007815526,"about_ca_system_score_gemma":0.0006572598,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006506259,"about_ca_topic_score_gemma":0.0004176276,"domain_scores_codex":[0.9989759,0.000198096,0.00006772079,0.0002338321,0.0003688407,0.0001556203],"domain_scores_gemma":[0.9952651,0.002645182,0.0004327627,0.001118258,0.0003706416,0.0001679216],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002612907,0.00003212066,0.0004778373,0.0001566103,0.0000256586,0.000252826,0.0003451917,0.02053371,0.008755628,0.9138014,0.003941811,0.05141583],"study_design_scores_gemma":[0.00002991004,0.00005909353,0.0003463072,0.0000420489,0.00003731976,0.0002228323,0.00004926471,0.07314899,0.007298842,0.9072081,0.01153795,0.00001941154],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1098718,0.002926994,0.8143219,0.001912408,0.0004710131,0.00007815274,0.0002878455,0.001638282,0.06849154],"genre_scores_gemma":[0.9441864,0.001894733,0.02968769,0.0001948584,0.000489804,0.0001159112,0.0001608503,0.0002891991,0.0229805],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004021865,"threshold_uncertainty_score":0.01345444,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02184297008769451,"score_gpt":0.2504115772564393,"score_spread":0.2285686071687448,"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."}}