{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000443655,0.0000786031,0.00009227703,0.00005360593,0.00009769226,0.0001957415,0.001278014,0.00004070489,0.00002114369],"category_scores_gemma":[0.00004645892,0.00006615166,0.00002915525,0.0001913701,0.00003331239,0.0007299138,0.0002109682,0.00009640509,0.0002810243],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005230198,"about_ca_system_score_gemma":0.00003381094,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001562888,"about_ca_topic_score_gemma":9.463405e-7,"domain_scores_codex":[0.9991646,0.0001489132,0.0001804351,0.0001745832,0.0001685726,0.00016294],"domain_scores_gemma":[0.9985496,0.00006844167,0.00008527178,0.001119211,0.0001202585,0.00005717728],"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.000001090405,0.00006324011,0.0001432441,0.00002650344,0.00001017355,3.043249e-7,0.0008563136,0.02890409,0.006253513,0.9453772,0.001516837,0.01684749],"study_design_scores_gemma":[0.00007579664,0.00001100547,0.0003461784,0.00001107793,9.959725e-7,9.051353e-7,0.0000460686,0.9937654,0.003599186,0.001735081,0.0003188769,0.0000894539],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001904453,0.00004328581,0.9633114,0.0002970615,0.0001382212,0.0002482683,2.982029e-7,0.0002246129,0.03383245],"genre_scores_gemma":[0.4553454,0.000001730159,0.5440202,0.0002153438,0.000005255436,0.00005931138,6.329627e-7,0.000003330498,0.0003487327],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9648613,"threshold_uncertainty_score":0.3612092,"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."}}