{"id":"W2092733256","doi":"10.5555/1400549.1400613","title":"A formal framework for stochastic DEVS modeling and simulation","year":2008,"lang":"en","type":"article","venue":"Spring Simulation Multiconference","topic":"Simulation Techniques and Applications","field":"Decision Sciences","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"DEVS; Computer science; Formalism (music); Discrete event simulation; Formal specification; Extension (predicate logic); Theoretical computer science; Formal methods; Stochastic process; Formal verification; Modeling and simulation; Distributed computing; Programming language; Mathematics; Simulation","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.0007191267,0.000185611,0.0002528695,0.0002496505,0.0006979187,0.0001705209,0.0002961262,0.0001533959,0.00004989482],"category_scores_gemma":[0.00417501,0.0001700547,0.00008907776,0.0003494795,0.00008496596,0.0006756888,0.0001066921,0.0001539954,0.00003195166],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003747084,"about_ca_system_score_gemma":0.00006158849,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003296347,"about_ca_topic_score_gemma":0.000005637525,"domain_scores_codex":[0.9978268,0.00004408432,0.0007186627,0.0005224905,0.0005833873,0.0003045671],"domain_scores_gemma":[0.9941442,0.004233344,0.0002381163,0.0005056064,0.0007485516,0.0001301604],"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.0000295968,0.00002021805,0.001930072,0.000003860207,0.000004076607,1.655775e-7,0.0004892657,0.9538003,0.00006347334,0.02563859,8.777763e-7,0.01801952],"study_design_scores_gemma":[0.0003710265,0.0000272568,0.005122526,0.00002434192,0.000009576655,9.977472e-7,0.00009387111,0.9115442,0.00005102876,0.08241742,0.000148408,0.0001893561],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3922636,0.00001830897,0.6069801,0.00006678826,0.00004638043,0.0004624215,0.000007333728,0.000113806,0.00004122332],"genre_scores_gemma":[0.8809768,0.00000321202,0.1187018,0.0000821592,0.00008641204,0.00006770853,0.000005114232,0.00001864177,0.0000581201],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.4887132,"threshold_uncertainty_score":0.6934628,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.267663177093265,"score_gpt":0.4520412898721667,"score_spread":0.1843781127789017,"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."}}