{"id":"W4389396137","doi":"10.1016/j.eswa.2023.122856","title":"Model checking combined trust and commitments in Multi-Agent Systems","year":2023,"lang":"en","type":"article","venue":"Expert Systems with Applications","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta; Concordia University","funders":"Fonds de recherche du Québec – Nature et technologies; Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Model checking; Computation tree logic; Theoretical computer science; Temporal logic; Binary decision diagram; Formalism (music); Computation; Probabilistic CTL; Subjective logic; Algorithm; Artificial intelligence; Probabilistic logic","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002977572,0.0001815745,0.0002661971,0.000173882,0.0002526528,0.0002243358,0.0005266166,0.00007514213,4.848827e-7],"category_scores_gemma":[0.000008829013,0.0001452086,0.00002532933,0.0007154949,0.00004473692,0.0001980252,0.0001789726,0.00009986703,0.00009328593],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001063291,"about_ca_system_score_gemma":0.00005676238,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003186965,"about_ca_topic_score_gemma":0.00004265002,"domain_scores_codex":[0.998594,0.0000641589,0.000313642,0.0004824304,0.0002186567,0.0003270521],"domain_scores_gemma":[0.9989452,0.00006421567,0.0001190823,0.0006578133,0.00007473267,0.0001389544],"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.0000351411,0.001363286,0.06065863,0.0006788372,0.0002147437,0.00006041067,0.04056918,0.05697453,0.003184474,0.8200227,0.01158785,0.004650191],"study_design_scores_gemma":[0.0008552635,0.00003028128,0.001985538,0.00009312553,0.000003007772,0.0000151796,0.0007050361,0.9896314,0.00002890642,0.00007303688,0.006371186,0.0002080295],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01363084,0.002143389,0.9775713,0.000216593,0.0002815941,0.002317867,0.000008612353,0.0006511792,0.003178634],"genre_scores_gemma":[0.9906211,0.00007046281,0.003479716,0.00003693783,0.00005091531,0.003928777,0.00001506378,0.00001961308,0.001777406],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9769903,"threshold_uncertainty_score":0.5921435,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05874410564406512,"score_gpt":0.2932519827685964,"score_spread":0.2345078771245312,"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."}}