{"id":"W4321503122","doi":"10.1016/j.iot.2023.100732","title":"A framework for modeling and analyzing cyber-physical systems using statistical model checking","year":2023,"lang":"en","type":"article","venue":"Internet of Things","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Systems Modeling Language; Soundness; Computer science; Cyber-physical system; Model checking; Semantics (computer science); Model transformation; Theoretical computer science; Construct (python library); Unified Modeling Language; Software engineering; Programming language; Artificial intelligence; Consistency (knowledge bases); Software","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.00603909,0.00162753,0.002111747,0.002766322,0.001096754,0.002767584,0.003377248,0.001496962,0.001711735],"category_scores_gemma":[0.01333545,0.001154766,0.003865564,0.001531304,0.003511989,0.00334128,0.00217191,0.002972943,0.0004450391],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001641145,"about_ca_system_score_gemma":0.006057998,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009428974,"about_ca_topic_score_gemma":0.00873836,"domain_scores_codex":[0.9958606,0.001454158,0.0003192527,0.0004966996,0.001555011,0.0003142591],"domain_scores_gemma":[0.9902409,0.005999399,0.0009159326,0.001834424,0.0008464338,0.0001629441],"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.00003160321,0.00008554574,0.0009227687,0.0001270878,0.0001337467,0.0001149725,0.00008041561,0.6930826,0.00246761,0.2835947,0.0005842454,0.01877468],"study_design_scores_gemma":[0.000009232438,0.00002064751,0.00008766539,0.00001844368,0.00002658472,0.00002349844,0.000009480575,0.9112101,0.0007815498,0.0869838,0.0008159332,0.00001307813],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001140812,0.00006010861,0.9978766,0.00004720585,0.00001152934,0.00003097202,0.00003255798,0.0004659619,0.0003341586],"genre_scores_gemma":[0.2699105,0.0005390887,0.7268924,0.0001480805,0.0001012691,0.0006033078,0.0003566861,0.0003559731,0.00109265],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009428974,"threshold_uncertainty_score":0.03193808,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1008764343524974,"score_gpt":0.3779280407577688,"score_spread":0.2770516064052714,"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."}}