{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.009729077,0.0009678316,0.001574529,0.001137511,0.0009131286,0.004474317,0.003220178,0.001609521,0.002246924],"category_scores_gemma":[0.03054848,0.001041806,0.002889682,0.001042505,0.004519089,0.006836026,0.005591284,0.003594031,0.0002118769],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002818052,"about_ca_system_score_gemma":0.003630594,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00601142,"about_ca_topic_score_gemma":0.00575575,"domain_scores_codex":[0.9907447,0.003476968,0.0006309157,0.001409327,0.002673261,0.001064972],"domain_scores_gemma":[0.9709393,0.0215819,0.00205568,0.003076886,0.001822431,0.0005238281],"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.0003518805,0.0001113205,0.001546771,0.0001713448,0.0002293994,0.0004181146,0.0003220901,0.7366135,0.003499729,0.2469556,0.0004272711,0.009352899],"study_design_scores_gemma":[0.00002887312,0.00002050647,0.00008782534,0.00001346242,0.00002731265,0.00002232917,0.00003437588,0.9256561,0.001746852,0.07218462,0.0001657469,0.0000119596],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05613536,0.00009208178,0.9411904,0.0003231754,0.00005268272,0.00007812435,0.0001068622,0.0005020413,0.001519266],"genre_scores_gemma":[0.9115441,0.00007301586,0.08662324,0.0001134089,0.00003075858,0.0001329536,0.0001401372,0.0001170889,0.001225168],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009729077,"threshold_uncertainty_score":0.05145288,"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."}}