{"id":"W2063865522","doi":"10.1109/ccece.2013.6567818","title":"Automated verification of AUML based multi-agent system design","year":2013,"lang":"en","type":"article","venue":"","topic":"Multi-Agent Systems and Negotiation","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Unified Modeling Language; Computer science; Sequence diagram; UML tool; Applications of UML; Multi-agent system; Software engineering; Agent-oriented software engineering; Software; Systems engineering; Software development; Artificial intelligence; Programming language; Engineering","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.005211805,0.0008104178,0.000651443,0.001072278,0.0009423699,0.002059462,0.001622912,0.001081469,0.002715382],"category_scores_gemma":[0.01750548,0.0005640682,0.001071219,0.0003269615,0.001633436,0.001584786,0.001779529,0.001213348,0.0006129821],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001320969,"about_ca_system_score_gemma":0.002757339,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00375333,"about_ca_topic_score_gemma":0.002891691,"domain_scores_codex":[0.9915951,0.003740697,0.000597738,0.0007049852,0.002978893,0.0003825061],"domain_scores_gemma":[0.987969,0.007146217,0.001156389,0.00174767,0.00185204,0.0001286813],"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.0004307475,0.0003234548,0.003800357,0.0007832624,0.0001568105,0.001937359,0.001635691,0.587427,0.06654769,0.1559986,0.002953548,0.1780055],"study_design_scores_gemma":[0.0000816682,0.0001028484,0.0003144753,0.00006191476,0.00003165622,0.0001607341,0.00006090269,0.9350163,0.03793915,0.01648715,0.009717072,0.00002616531],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02446333,0.00009976274,0.9678785,0.0001485174,0.00006077895,0.0002980209,0.0001125684,0.003810648,0.003127809],"genre_scores_gemma":[0.413408,0.0001593629,0.5825084,0.0001168252,0.00002272584,0.0006196787,0.0003759371,0.0003259398,0.002463232],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005211805,"threshold_uncertainty_score":0.02756298,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04892083303055063,"score_gpt":0.2547580640872092,"score_spread":0.2058372310566586,"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."}}