{"id":"W4322096934","doi":"10.2139/ssrn.4370421","title":"Model Checking Combined Trust and Commitments in Multi-Agent Systems","year":2023,"lang":"en","type":"article","venue":"SSRN Electronic Journal","topic":"Access Control and Trust","field":"Social Sciences","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta; Concordia University","funders":"","keywords":"Computer science; Model checking; Business; Law and economics; Computer security; Economics; Programming language","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.01241883,0.001197794,0.002206161,0.001561599,0.001566283,0.005421503,0.003576605,0.00235966,0.002370599],"category_scores_gemma":[0.06634935,0.001416107,0.002199403,0.001363242,0.004348028,0.009189351,0.005690449,0.004462288,0.0002621044],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003313959,"about_ca_system_score_gemma":0.004571787,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01322436,"about_ca_topic_score_gemma":0.01192291,"domain_scores_codex":[0.9834408,0.008609294,0.001115844,0.00235246,0.003095776,0.001385775],"domain_scores_gemma":[0.9148135,0.06509756,0.005597371,0.007751091,0.00505473,0.00168574],"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.0007247887,0.0001856082,0.004896646,0.0002159575,0.0003537039,0.0004028419,0.0006654293,0.8809133,0.001989916,0.09166261,0.0006770396,0.01731215],"study_design_scores_gemma":[0.00004213895,0.00003275431,0.0001443668,0.00001184049,0.00003598644,0.00002286995,0.00005191881,0.9575652,0.000829978,0.04108576,0.0001642575,0.00001298391],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1958969,0.0002013154,0.7993082,0.001058161,0.0001034297,0.0002157942,0.0002239228,0.0009969682,0.001995342],"genre_scores_gemma":[0.9600347,0.00005239147,0.03881336,0.00005517506,0.00003083468,0.0001011672,0.0001074184,0.00006112206,0.000743822],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01322436,"threshold_uncertainty_score":0.06567788,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05045724960388289,"score_gpt":0.3259502401009096,"score_spread":0.2754929904970267,"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."}}