{"id":"W2062100393","doi":"10.1142/s021819400800391x","title":"SUPPORTING FORMAL VERIFICATION OF DIMA MULTI-AGENTS MODELS: TOWARDS A FRAMEWORK BASED ON MAUDE MODEL CHECKING","year":2008,"lang":"en","type":"article","venue":"International Journal of Software Engineering and Knowledge Engineering","topic":"Multi-Agent Systems and Negotiation","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec à Trois-Rivières","funders":"","keywords":"Computer science; Model checking; Rewriting; Programming language; Formal verification; Formal methods; Rotation formalisms in three dimensions; Temporal logic; Linear temporal logic; Software engineering; Mathematics","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.0107664,0.0008427416,0.001460734,0.002011705,0.001132827,0.004152789,0.004781923,0.001848191,0.001169174],"category_scores_gemma":[0.01669991,0.001276533,0.003325219,0.0009137126,0.003359309,0.003560123,0.005242645,0.004177957,0.0005211835],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001754325,"about_ca_system_score_gemma":0.003972874,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004817503,"about_ca_topic_score_gemma":0.004596191,"domain_scores_codex":[0.9925518,0.003199594,0.0006798502,0.0007861856,0.002335851,0.000446614],"domain_scores_gemma":[0.9917703,0.003667379,0.0007483914,0.002502619,0.001122441,0.0001888835],"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.00009114889,0.0001783887,0.001566227,0.0004084334,0.0001423708,0.0007218083,0.001156662,0.1272747,0.01027217,0.8059389,0.001263772,0.05098545],"study_design_scores_gemma":[0.00006928576,0.00007710023,0.0002355692,0.0002141565,0.00009531219,0.0003368403,0.0001742519,0.7764629,0.01466908,0.1831593,0.02442417,0.00008213995],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003325394,0.0001159121,0.9943148,0.0001736245,0.00002012573,0.0001011619,0.00003954552,0.000920498,0.0009888229],"genre_scores_gemma":[0.06741785,0.0001710174,0.9311376,0.0001143961,0.00002040784,0.00025954,0.0001132634,0.0001879328,0.0005779926],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0107664,"threshold_uncertainty_score":0.05693883,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0379183716798623,"score_gpt":0.2861758163316216,"score_spread":0.2482574446517593,"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."}}