{"id":"W2972042414","doi":"10.46298/lmcs-17(3:3)2021","title":"The Complexity of Reachability in Affine Vector Addition Systems with States","year":2021,"lang":"en","type":"article","venue":"Logical Methods in Computer Science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; Fonds de recherche du Québec – Nature et technologies; European Commission","keywords":"Undecidable problem; Reachability; Decidability; Parameterized complexity; Affine transformation; Reachability problem; Computational complexity theory","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01011914,0.0001583273,0.0003434607,0.000140706,0.0001848492,0.000250711,0.001830444,0.00006387172,0.000004119913],"category_scores_gemma":[0.001110037,0.0001002144,0.00004078619,0.003269182,0.002026584,0.0006251349,0.000743888,0.0003170611,0.000001621946],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001861019,"about_ca_system_score_gemma":0.0002170474,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009244152,"about_ca_topic_score_gemma":0.00004868371,"domain_scores_codex":[0.9953266,0.002191575,0.0006315839,0.0007884841,0.0006107059,0.0004510674],"domain_scores_gemma":[0.9963428,0.001791963,0.0002309884,0.001172778,0.0003691919,0.00009231218],"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.00003336709,0.0002829077,0.001596778,0.00005286036,0.000004034066,0.00002286098,0.0006730753,0.01128255,0.00424618,0.6020893,0.000008340553,0.3797077],"study_design_scores_gemma":[0.000225552,0.0002180562,0.1027032,0.00007714293,0.000001231803,0.00003756217,0.00003986666,0.8348071,0.0111833,0.05035842,0.0001924415,0.000156133],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02044722,0.0001316286,0.9775636,0.0005485428,0.0007138683,0.0002686149,0.000003013494,0.00005530279,0.0002681895],"genre_scores_gemma":[0.1812685,0.00001587578,0.8185887,0.00005587604,0.00002949612,0.00003209818,0.000001167567,0.000003167306,0.00000505124],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8235245,"threshold_uncertainty_score":0.7467033,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1152495549883317,"score_gpt":0.3819331628623088,"score_spread":0.2666836078739772,"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."}}