{"id":"W2081166128","doi":"10.1145/1878537.1878686","title":"Rational time-advance DEVS (RTA-DEVS)","year":2010,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":26,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"DEVS; Formalism (music); Computer science; Automaton; Model checking; Theoretical computer science; Extension (predicate logic); Modeling and simulation; Programming language; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0020623,0.0008858104,0.0007400764,0.0007988529,0.0005830511,0.001994416,0.002359643,0.0008532896,0.006798588],"category_scores_gemma":[0.003960432,0.0006902243,0.002288487,0.0006618274,0.001984834,0.00368139,0.002206597,0.003359997,0.001826538],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000983305,"about_ca_system_score_gemma":0.001531685,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002412037,"about_ca_topic_score_gemma":0.002593158,"domain_scores_codex":[0.9982673,0.0003667992,0.0001942801,0.0003628965,0.0005898418,0.000218708],"domain_scores_gemma":[0.9977443,0.0007028913,0.0002225864,0.000823402,0.0003958259,0.0001110373],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001449474,0.00003919871,0.0005015947,0.0001984125,0.00003225712,0.0003245992,0.0002540269,0.03274037,0.006466228,0.9251781,0.002712066,0.03140825],"study_design_scores_gemma":[0.0001159175,0.0001607129,0.0002257728,0.0001406209,0.000107563,0.0006193694,0.00009688641,0.2646668,0.01840684,0.5447705,0.1706111,0.00007794967],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005986021,0.0002229621,0.9800962,0.0002009165,0.0002227235,0.00009291121,0.0004141179,0.001762903,0.0110013],"genre_scores_gemma":[0.2653127,0.0008077442,0.7175058,0.0003161761,0.0001792328,0.0003736709,0.00169883,0.0009133873,0.01289246],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006798588,"threshold_uncertainty_score":0.02274358,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01214111178869771,"score_gpt":0.2832922327904974,"score_spread":0.2711511210017997,"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."}}