Improved Lower Bounds for Reachability in Vector Addition Systems

Wojciech Czerwinski, Slawomir Lasota 0001, Lukasz Orlikowski. Improved Lower Bounds for Reachability in Vector Addition Systems. In Nikhil Bansal, Emanuela Merelli, James Worrell 0001, editors, 48th International Colloquium on Automata, Languages, and Programming, ICALP 2021, July 12-16, 2021, Glasgow, Scotland (Virtual Conference). Volume 198 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]

Authors

Wojciech Czerwinski

This author has not been identified. Look up 'Wojciech Czerwinski' in Google

Slawomir Lasota 0001

This author has not been identified. Look up 'Slawomir Lasota 0001' in Google

Lukasz Orlikowski

This author has not been identified. Look up 'Lukasz Orlikowski' in Google