{"id":"https://openalex.org/W2799151151","doi":"https://doi.org/10.1145/3209108.3209191","title":"Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS","display_name":"Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS","publication_year":2018,"publication_date":"2018-06-27","ids":{"openalex":"https://openalex.org/W2799151151","doi":"https://doi.org/10.1145/3209108.3209191","mag":"2799151151"},"language":"en","primary_location":{"id":"doi:10.1145/3209108.3209191","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3209108.3209191","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1804.10985","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5082160514","display_name":"Tom\u01ce\u0161 Br\u00e1zdil","orcid":"https://orcid.org/0000-0002-4547-3261"},"institutions":[{"id":"https://openalex.org/I21449261","display_name":"Masaryk University","ror":"https://ror.org/02j46qs45","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21449261"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Tom\u00e1\u0161 Br\u00e1zdil","raw_affiliation_strings":["Masaryk University, Brno, Czech Republic","Masaryk University. Brno, Czech Republic"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Masaryk University, Brno, Czech Republic","institution_ids":["https://openalex.org/I21449261"]},{"raw_affiliation_string":"Masaryk University. Brno, Czech Republic","institution_ids":["https://openalex.org/I21449261"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052607806","display_name":"Krishnendu Chatterjee","orcid":"https://orcid.org/0000-0002-4561-241X"},"institutions":[{"id":"https://openalex.org/I157556583","display_name":"Institute of Science and Technology Austria","ror":"https://ror.org/03gnh5541","country_code":"AT","type":"education","lineage":["https://openalex.org/I157556583"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Krishnendu Chatterjee","raw_affiliation_strings":["IST Austria, Klosterneuburg, Austria","IST Austria; Klosterneuburg Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IST Austria, Klosterneuburg, Austria","institution_ids":["https://openalex.org/I157556583"]},{"raw_affiliation_string":"IST Austria; Klosterneuburg Austria","institution_ids":["https://openalex.org/I157556583"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019575165","display_name":"Anton\u0131\u0301n Ku\u010dera","orcid":"https://orcid.org/0000-0002-6602-8028"},"institutions":[{"id":"https://openalex.org/I21449261","display_name":"Masaryk University","ror":"https://ror.org/02j46qs45","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21449261"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Anton\u00edn Ku\u010dera","raw_affiliation_strings":["Masaryk University, Brno, Czech Republic","Masaryk University. Brno, Czech Republic"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Masaryk University, Brno, Czech Republic","institution_ids":["https://openalex.org/I21449261"]},{"raw_affiliation_string":"Masaryk University. Brno, Czech Republic","institution_ids":["https://openalex.org/I21449261"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026464429","display_name":"Petr Novotn\u00fd","orcid":"https://orcid.org/0000-0002-5026-4392"},"institutions":[{"id":"https://openalex.org/I157556583","display_name":"Institute of Science and Technology Austria","ror":"https://ror.org/03gnh5541","country_code":"AT","type":"education","lineage":["https://openalex.org/I157556583"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Petr Novotn\u00fd","raw_affiliation_strings":["IST Austria Klosterneuburg, Austria","IST Austria; Klosterneuburg Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IST Austria Klosterneuburg, Austria","institution_ids":["https://openalex.org/I157556583"]},{"raw_affiliation_string":"IST Austria; Klosterneuburg Austria","institution_ids":["https://openalex.org/I157556583"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048717269","display_name":"Dominik Velan","orcid":null},"institutions":[{"id":"https://openalex.org/I21449261","display_name":"Masaryk University","ror":"https://ror.org/02j46qs45","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21449261"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Dominik Velan","raw_affiliation_strings":["Masaryk University, Brno, Czech Republic","Masaryk University. Brno, Czech Republic"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Masaryk University, Brno, Czech Republic","institution_ids":["https://openalex.org/I21449261"]},{"raw_affiliation_string":"Masaryk University. Brno, Czech Republic","institution_ids":["https://openalex.org/I21449261"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5063337176","display_name":"Florian Zuleger","orcid":"https://orcid.org/0000-0003-1468-8398"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Florian Zuleger","raw_affiliation_strings":["Forsyte, TU Wien Wien, Austria","Forsyte, TU Wien Wien, Austria#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Forsyte, TU Wien Wien, Austria","institution_ids":["https://openalex.org/I145847075"]},{"raw_affiliation_string":"Forsyte, TU Wien Wien, Austria#TAB#","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"185","last_page":"194"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9969000220298767,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9955999851226807,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7712727785110474},{"id":"https://openalex.org/keywords/parameterized-complexity","display_name":"Parameterized complexity","score":0.6080323457717896},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.6027758121490479},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.5572251677513123},{"id":"https://openalex.org/keywords/dimension","display_name":"Dimension (graph theory)","score":0.5044671297073364},{"id":"https://openalex.org/keywords/ranking","display_name":"Ranking (information retrieval)","score":0.49454042315483093},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4387262463569641},{"id":"https://openalex.org/keywords/gravitational-singularity","display_name":"Gravitational singularity","score":0.43744564056396484},{"id":"https://openalex.org/keywords/integer","display_name":"Integer (computer science)","score":0.43558427691459656},{"id":"https://openalex.org/keywords/quadratic-equation","display_name":"Quadratic equation","score":0.4345545768737793},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.41914984583854675},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.11598017811775208},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.10335507988929749},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.07070121169090271}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7712727785110474},{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.6080323457717896},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.6027758121490479},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.5572251677513123},{"id":"https://openalex.org/C33676613","wikidata":"https://www.wikidata.org/wiki/Q13415176","display_name":"Dimension (graph theory)","level":2,"score":0.5044671297073364},{"id":"https://openalex.org/C189430467","wikidata":"https://www.wikidata.org/wiki/Q7293293","display_name":"Ranking (information retrieval)","level":2,"score":0.49454042315483093},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4387262463569641},{"id":"https://openalex.org/C12843","wikidata":"https://www.wikidata.org/wiki/Q201721","display_name":"Gravitational singularity","level":2,"score":0.43744564056396484},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.43558427691459656},{"id":"https://openalex.org/C129844170","wikidata":"https://www.wikidata.org/wiki/Q41299","display_name":"Quadratic equation","level":2,"score":0.4345545768737793},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.41914984583854675},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.11598017811775208},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.10335507988929749},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.07070121169090271},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3209108.3209191","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3209108.3209191","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:1804.10985","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1804.10985","pdf_url":"https://arxiv.org/pdf/1804.10985","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"mag:2799151151","is_oa":true,"landing_page_url":"http://export.arxiv.org/pdf/1804.10985","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.1804.10985","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1804.10985","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1804.10985","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1804.10985","pdf_url":"https://arxiv.org/pdf/1804.10985","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[{"score":0.4099999964237213,"id":"https://metadata.un.org/sdg/8","display_name":"Decent work and economic growth"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2799151151.pdf","grobid_xml":"https://content.openalex.org/works/W2799151151.grobid-xml"},"referenced_works_count":38,"referenced_works":["https://openalex.org/W110849379","https://openalex.org/W166893320","https://openalex.org/W263470693","https://openalex.org/W408676302","https://openalex.org/W1523037784","https://openalex.org/W1530375435","https://openalex.org/W1545252802","https://openalex.org/W1622764697","https://openalex.org/W1636902686","https://openalex.org/W1818968539","https://openalex.org/W1932636156","https://openalex.org/W1974179433","https://openalex.org/W1981015644","https://openalex.org/W1989788631","https://openalex.org/W2039205672","https://openalex.org/W2044858512","https://openalex.org/W2055081868","https://openalex.org/W2073629816","https://openalex.org/W2096272173","https://openalex.org/W2106001218","https://openalex.org/W2109863363","https://openalex.org/W2120647256","https://openalex.org/W2122917953","https://openalex.org/W2158243788","https://openalex.org/W2164003033","https://openalex.org/W2206615804","https://openalex.org/W2296248291","https://openalex.org/W2394903686","https://openalex.org/W2414818575","https://openalex.org/W2533836568","https://openalex.org/W2577171054","https://openalex.org/W2608760006","https://openalex.org/W2735409225","https://openalex.org/W2951912990","https://openalex.org/W2962849754","https://openalex.org/W3125224867","https://openalex.org/W4249920159","https://openalex.org/W6606046182"],"related_works":["https://openalex.org/W2962849754","https://openalex.org/W1759861128","https://openalex.org/W2980978064","https://openalex.org/W2469269256","https://openalex.org/W2289000419","https://openalex.org/W3092390773","https://openalex.org/W3037165238","https://openalex.org/W2286486211","https://openalex.org/W1891288517","https://openalex.org/W6135152","https://openalex.org/W2402907237","https://openalex.org/W2527679477","https://openalex.org/W2953061005","https://openalex.org/W1504254431","https://openalex.org/W1979962503","https://openalex.org/W3027938384","https://openalex.org/W2951730160","https://openalex.org/W1522653943","https://openalex.org/W2921791163","https://openalex.org/W2255070158"],"abstract_inverted_index":{"Vector":[0],"Addition":[1],"Systems":[2],"with":[3],"States":[4],"(VASS)":[5],"provide":[6],"a":[7,49,77,83,87,99,172,189,201,206],"well-known":[8],"and":[9,20,151],"fundamental":[10],"model":[11],"for":[12,80,132,156,192,232],"the":[13,38,45,57,96,129,145,153,165,168,176,182,193,210,223,230],"analysis":[14],"of":[15,27,40,48,61,98,117,136,140,152,167,195,225],"concurrent":[16],"processes,":[17],"parameterized":[18],"systems,":[19],"are":[21,71,128,217],"also":[22,92],"used":[23],"as":[24,72],"abstract":[25],"models":[26],"programs":[28],"in":[29,125,198],"resource":[30],"bound":[31],"analysis.":[32,237],"In":[33,52,138],"this":[34],"paper":[35],"we":[36,54,75,110,142],"study":[37],"problem":[39],"obtaining":[41,62],"asymptotic":[42,89,134,146],"bounds":[43,64],"on":[44,56,65,188,219],"termination":[46,66,211],"time":[47],"given":[50,84],"VASS.":[51,137,169],"particular,":[53],"focus":[55],"practically":[58],"important":[59],"case":[60],"polynomial":[63,150],"time.":[67],"Our":[68,215],"main":[69],"contributions":[70],"follows:":[73],"First,":[74],"present":[76,171],"polynomial-time":[78,173],"algorithm":[79,174],"deciding":[81],"whether":[82],"VASS":[85,100,112,226,236],"has":[86],"linear":[88],"complexity.":[90],"We":[91,120,170],"show":[93,121,143],"that":[94,122,144,209],"if":[95],"complexity":[97,135,147,212],"is":[101,105,148,164,186,213],"not":[102],"linear,":[103],"it":[104],"at":[106],"least":[107],"quadratic.":[108],"Second,":[109],"classify":[111],"according":[113],"to":[114,235],"quantitative":[115],"properties":[116,127],"their":[118],"cycles.":[119],"certain":[123],"singularities":[124],"these":[126],"key":[130],"reason":[131],"non-polynomial":[133],"absence":[139],"singularities,":[141],"always":[149],"form":[154],"\u0398(nk),":[155],"some":[157],"integer":[158],"k":[159,207],"\u2264":[160],"d,":[161],"where":[162],"d":[163],"dimension":[166],"computing":[175],"optimal":[177],"k.":[178],"For":[179],"general":[180],"VASS,":[181,199],"same":[183],"algorithm,":[184],"which":[185,228],"based":[187,218],"complete":[190],"technique":[191],"construction":[194],"ranking":[196],"functions":[197],"produces":[200],"valid":[202],"lower":[203],"bound,":[204],"i.e.,":[205],"such":[208],"\u03a9(nk).":[214],"results":[216],"new":[220],"insights":[221],"into":[222],"geometry":[224],"dynamics,":[227],"hold":[229],"potential":[231],"further":[233],"applicability":[234]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}