{"id":"W4285813996","doi":"10.1109/iwcmc55113.2022.9824136","title":"Reasoning about Uncertainty over IoT Systems","year":2022,"lang":"en","type":"article","venue":"2022 International Wireless Communications and Mobile Computing (IWCMC)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Scalability; Model checking; Internet of Things; Set (abstract data type); Block (permutation group theory); Model transformation; Reliability (semiconductor); Distributed computing; Cyber-physical system; Transformation (genetics); Formal verification; Formal methods; Software engineering; Embedded system; Theoretical computer science; Artificial intelligence; Programming language; Consistency (knowledge bases); Database; Operating system","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":["sts"],"consensus_categories":[],"category_scores_codex":[0.001510312,0.0001875041,0.000222006,0.0002389967,0.001384148,0.0003472096,0.003702173,0.00004961418,0.00004815689],"category_scores_gemma":[0.00006974523,0.0002123373,0.00008204811,0.0005153096,0.0001368827,0.0001878256,0.004512693,0.0005761579,0.000008282285],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003437551,"about_ca_system_score_gemma":0.0000994939,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003837261,"about_ca_topic_score_gemma":0.000009404567,"domain_scores_codex":[0.99755,0.0005855499,0.0005398964,0.0004749875,0.0005758927,0.0002737105],"domain_scores_gemma":[0.9971469,0.0003925998,0.0004012024,0.001747263,0.0002201429,0.00009187552],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001349168,0.0002591364,0.002341489,0.00002341174,0.00009725821,0.000004360717,0.002406703,0.06616056,0.0007377841,0.7985976,0.0009626645,0.1283955],"study_design_scores_gemma":[0.0002680639,0.00006769597,0.002390198,0.00004178059,0.000006565987,0.00007380419,0.0005197155,0.9022139,0.0000232919,0.0003353897,0.09384312,0.000216409],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5736315,0.005099397,0.4071019,0.001030145,0.003802693,0.0009542309,0.00005375418,0.000613534,0.007712792],"genre_scores_gemma":[0.9509546,0.0002751096,0.0475756,0.0002512885,0.00009095549,0.0003388734,0.00007715372,0.00002093801,0.0004154735],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8360534,"threshold_uncertainty_score":0.9999159,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02154497071774521,"score_gpt":0.3113688206764853,"score_spread":0.2898238499587401,"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."}}