{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000166176,0.00007208569,0.00008885258,0.00004903984,0.00007539636,0.0003112785,0.00029678,0.00003167792,0.00003494459],"category_scores_gemma":[0.00002937444,0.00005036526,0.00001246985,0.0001379399,0.0000200972,0.0008184647,0.0002322166,0.00004195541,0.0001578787],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000139464,"about_ca_system_score_gemma":0.00002110058,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001163895,"about_ca_topic_score_gemma":0.000002146889,"domain_scores_codex":[0.9992863,0.00003267166,0.0001553545,0.0002229123,0.0001632586,0.0001394995],"domain_scores_gemma":[0.9994759,0.00005100609,0.00003001006,0.0003013911,0.00008298402,0.00005873128],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000004759911,0.0001275147,0.002311553,0.000158917,0.00008118954,0.00001624838,0.006501272,0.1721517,0.008653859,0.1751193,0.006439414,0.6284344],"study_design_scores_gemma":[0.00008983298,0.00001411572,0.0003467804,0.00001480641,6.698556e-7,0.00001061044,0.00003547874,0.9969471,0.0002774873,0.001049064,0.001126984,0.00008709891],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01249638,0.0002095363,0.976139,0.0009175484,0.0001640665,0.0001793083,8.665331e-8,0.0001770464,0.00971702],"genre_scores_gemma":[0.9020256,0.000003899183,0.09602935,0.0002044108,0.00005157074,0.00001660034,9.813961e-8,0.000003760526,0.001664679],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8895293,"threshold_uncertainty_score":0.3001666,"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."}}