Coverability in VASS Revisited: Improving Rackoff's Bound to Obtain Conditional Optimality

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Marvin Künnemann, Filip Mazowiecki, Lia Schütze, Henry Sinclair-Banks, Karol Wegrzycki

Journal title: Proceedings of ICALP B 2023

Journal number: 261

Journal publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik

Published year: 2023

Published pages: 131:1--131:20

DOI identifier: 10.4230/lipics.icalp.2023.131