{"id":"W2889124254","doi":"10.46298/lmcs-17(3:1)2021","title":"Affine Extensions of Integer 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":15,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; Agence Nationale de la Recherche; Fonds de recherche du Québec – Nature et technologies; European Commission","keywords":"Monoid; Reachability; Undecidable problem; Mathematics; Affine transformation; Combinatorics; Decidability; Integer (computer science); Discrete mathematics; Conjecture; Rewriting; Reachability problem; Pure mathematics; Computer science","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005331752,0.0006749883,0.0004516076,0.0006620226,0.0006903869,0.001709495,0.00100185,0.0005522959,0.004810159],"category_scores_gemma":[0.002269783,0.0003405334,0.001077759,0.0006799326,0.001430121,0.003127925,0.001604383,0.001494884,0.0005461851],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00114773,"about_ca_system_score_gemma":0.0007704683,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002687428,"about_ca_topic_score_gemma":0.002478161,"domain_scores_codex":[0.9993224,0.0001191162,0.00006151563,0.0002127397,0.0001339922,0.0001502116],"domain_scores_gemma":[0.998301,0.0009572219,0.0002845147,0.0001541588,0.0001639742,0.0001390895],"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.000442853,0.0002307761,0.001964051,0.0003583696,0.00005320896,0.000951845,0.00085179,0.1993242,0.02575796,0.7356899,0.0009454596,0.03342963],"study_design_scores_gemma":[0.00008067218,0.0002591502,0.000812241,0.00005868572,0.00007463185,0.0002881272,0.0002636059,0.4638598,0.02043991,0.5064095,0.00738764,0.00006600593],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5122638,0.0005488507,0.4666102,0.0004281632,0.00009174669,0.0001912315,0.0006920993,0.001353557,0.0178204],"genre_scores_gemma":[0.9321264,0.0003027896,0.05906812,0.0001296752,0.00005486318,0.0001662455,0.000654838,0.00009056189,0.007406476],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.004810159,"threshold_uncertainty_score":0.01609159,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06018076838320194,"score_gpt":0.3714641031173124,"score_spread":0.3112833347341105,"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."}}