{"id":"W2060093727","doi":"10.1109/acc.2013.6579952","title":"Weak invariant simulation: Properties and algorithms","year":2013,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Nondeterministic algorithm; Undecidable problem; Parameterized complexity; Invariant (physics); Computer science; Theoretical computer science; Algorithm; Mathematics; Decidability","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.003862461,0.001150839,0.001125057,0.00221502,0.001088005,0.00315426,0.00226288,0.001516906,0.003022767],"category_scores_gemma":[0.02038332,0.0007579289,0.001959421,0.002275487,0.003366632,0.006060753,0.003764893,0.002639057,0.0006575969],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002257863,"about_ca_system_score_gemma":0.001735702,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001601221,"about_ca_topic_score_gemma":0.001276428,"domain_scores_codex":[0.9972906,0.0009891987,0.0002482354,0.0006473758,0.0006217439,0.0002027944],"domain_scores_gemma":[0.9815435,0.01405578,0.001199597,0.001826503,0.0009802725,0.0003943141],"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.0001617596,0.00009595782,0.003639603,0.0002084557,0.0000967286,0.00009119279,0.0002724384,0.3002321,0.002898984,0.6257598,0.001252017,0.06529097],"study_design_scores_gemma":[0.00001474417,0.00002664815,0.00009575881,0.00001826705,0.00001938262,0.00004029096,0.00002327911,0.6648092,0.001601116,0.3320991,0.001239773,0.00001244024],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009960895,0.0001566512,0.986985,0.0001751684,0.00001242334,0.00006905289,0.00007081959,0.0004751223,0.00209489],"genre_scores_gemma":[0.468674,0.0007096406,0.525647,0.0001649643,0.00009878559,0.0005397979,0.0006153802,0.0003656662,0.003184728],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003862461,"threshold_uncertainty_score":0.02042687,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06144952871023773,"score_gpt":0.2461251274226214,"score_spread":0.1846755987123836,"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."}}