{"id":"W2117798332","doi":"","title":"Model Checking Communicative Agent- Based Systems","year":2013,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":32,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Soundness; Computer science; Model checking; Completeness (order theory); Set (abstract data type); Protocol (science); Formal methods; Theoretical computer science; Negotiation; Communications protocol; Communicating sequential processes; Temporal logic; Programming language; Software; Formal verification; Multi-agent system; Distributed computing; Artificial intelligence; Semantics (computer science); Mathematics; Operational semantics","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.004035277,0.0008439936,0.001035351,0.001265788,0.001437388,0.003258563,0.001940228,0.00136716,0.003413981],"category_scores_gemma":[0.02038614,0.0005499106,0.001351953,0.000900007,0.00347446,0.002706127,0.002481931,0.001684029,0.0005811579],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003055145,"about_ca_system_score_gemma":0.003576098,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01168039,"about_ca_topic_score_gemma":0.009112583,"domain_scores_codex":[0.9941491,0.0025122,0.0003088955,0.0006635897,0.001942004,0.0004242794],"domain_scores_gemma":[0.9828628,0.01284529,0.0009395447,0.001701795,0.001359818,0.0002907691],"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.0004342056,0.0001953472,0.003702335,0.00030493,0.0002296597,0.0009735014,0.0009857976,0.6114613,0.01579352,0.3301677,0.001931191,0.03382059],"study_design_scores_gemma":[0.00007750907,0.00004757931,0.000145002,0.00002667904,0.00004304384,0.00006611922,0.00005646116,0.8965849,0.01014668,0.0909722,0.001813967,0.00001976788],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0862908,0.000113134,0.9046971,0.0004939904,0.00005428013,0.0002521976,0.000162973,0.002700344,0.005235275],"genre_scores_gemma":[0.8045051,0.0001237383,0.19137,0.0001537644,0.0000306644,0.0002713714,0.0002841171,0.0001481935,0.003113016],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01168039,"threshold_uncertainty_score":0.02322483,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1095339850209968,"score_gpt":0.3147490523154181,"score_spread":0.2052150672944213,"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."}}