{"id":"W4387191111","doi":"10.1016/j.inffus.2023.102048","title":"Multi-valued model checking IoT and intelligent systems with commitment protocols in multi-source data environments","year":2023,"lang":"en","type":"article","venue":"Information Fusion","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta; Concordia University","funders":"Natural Sciences and Engineering Research Council of Canada; Ministry of Higher Education, Malaysia; Concordia University","keywords":"Liveness; Computer science; Model checking; Reachability; Internet of Things; Distributed computing; Formal verification; Theoretical computer science; Embedded system","routes":{"ca_aff":true,"ca_fund":true,"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":[],"consensus_categories":[],"category_scores_codex":[0.001320357,0.0001359789,0.0001344373,0.0002502836,0.0001302635,0.0002082848,0.0007375703,0.00006912957,0.00000102436],"category_scores_gemma":[0.00007214604,0.0001143733,0.0000101135,0.0003847545,0.00003322116,0.001914982,0.0008631424,0.000133086,0.00008251413],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001079449,"about_ca_system_score_gemma":0.0000292901,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000508792,"about_ca_topic_score_gemma":0.000006315286,"domain_scores_codex":[0.9985853,0.00009386335,0.0004787142,0.0002306897,0.0004023983,0.0002090568],"domain_scores_gemma":[0.9987699,0.00002183958,0.0002493352,0.0008673911,0.00002727444,0.00006422565],"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.00007597558,0.0002249627,0.00307889,0.0003664309,0.00001797349,0.000002864261,0.01768817,0.7416958,0.001750079,0.003225954,0.0001574242,0.2317154],"study_design_scores_gemma":[0.0007293699,0.00004439424,0.004638872,0.0001563472,0.00000188874,0.000004700342,0.0002641348,0.9883044,0.0007169721,0.000007559066,0.004991819,0.0001395128],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01339516,0.000009667191,0.9802817,0.00003366622,0.00007042017,0.005999459,0.000009187441,0.0001391163,0.00006159891],"genre_scores_gemma":[0.07786112,0.00003920971,0.9189971,0.0001066027,0.0000100683,0.002696152,0.0001462463,0.00001236251,0.000131154],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.2466086,"threshold_uncertainty_score":0.4664009,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1867588153760106,"score_gpt":0.366215782642522,"score_spread":0.1794569672665115,"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."}}