{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00252845,0.0001016152,0.0001829352,0.0001557511,0.0005570733,0.000157583,0.0002388957,0.00007654508,0.000004847303],"category_scores_gemma":[0.0000712335,0.00009176018,0.00004451098,0.000318159,0.00006839004,0.0002515464,0.00004554192,0.000772018,0.00002075762],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006964063,"about_ca_system_score_gemma":0.0008517636,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001594754,"about_ca_topic_score_gemma":0.009749526,"domain_scores_codex":[0.9975142,0.0001574398,0.0002377018,0.0001478989,0.0003020651,0.001640724],"domain_scores_gemma":[0.9996339,0.00004401863,0.0001056171,0.00007313317,0.00004134054,0.0001020068],"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.0001229341,0.0002547574,0.2423119,0.00002534862,0.000255923,0.00004694084,0.01098748,0.008094626,0.0001557392,0.713596,0.000178247,0.02397009],"study_design_scores_gemma":[0.01116093,0.0002916985,0.04189182,0.0001633187,0.00009140006,0.0000507144,0.07430344,0.6927313,0.000007381878,0.1753101,0.003207031,0.0007908818],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9898788,0.002474403,0.002873697,0.001452812,0.0003766162,0.0003468881,0.000002704192,0.00008950693,0.002504576],"genre_scores_gemma":[0.9923338,0.004230699,0.00001608484,0.00003760294,0.00009951129,0.00001459776,0.000001781073,0.00001251227,0.003253428],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.6846367,"threshold_uncertainty_score":0.5440465,"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."}}