{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01214234,0.001245423,0.002125404,0.001659538,0.001598416,0.005347784,0.004261356,0.002518795,0.00283901],"category_scores_gemma":[0.0651877,0.001560297,0.00213711,0.001284413,0.004194139,0.0104313,0.00664284,0.00490215,0.0003153662],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003712995,"about_ca_system_score_gemma":0.004432433,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01383233,"about_ca_topic_score_gemma":0.01403412,"domain_scores_codex":[0.9846044,0.008055381,0.0009354485,0.002126514,0.003000732,0.001277399],"domain_scores_gemma":[0.936089,0.04748234,0.003885781,0.006463021,0.004500609,0.001579328],"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.0008578137,0.0001847604,0.003031838,0.0002213531,0.0003073471,0.0004240686,0.0005583098,0.8689429,0.00208667,0.1023622,0.0009554857,0.02006722],"study_design_scores_gemma":[0.00004423467,0.00002704393,0.00009186377,0.00001219602,0.00003039865,0.00002011658,0.00004998893,0.9535885,0.0009113059,0.04499434,0.0002178269,0.00001219553],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.151397,0.0002088548,0.8427078,0.00124238,0.0001390185,0.0002331441,0.0002164113,0.001236176,0.002619247],"genre_scores_gemma":[0.9421321,0.0000551458,0.05627429,0.00008430305,0.00003673348,0.0001133527,0.0001380989,0.0001034194,0.001062507],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01383233,"threshold_uncertainty_score":0.06421554,"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."}}