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 Węgrzycki

Journal title: 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023

Journal number: 261

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

Published year: 2023

Published pages: 131:1-131:20

DOI identifier: 10.4230/lipics.icalp.2023.131

ISBN: 978-3-95977-278-5