Coverability in VASS Revisited: Improving Rackoff's Bounds to Obtain Conditional Optimality.
Saved in:
| Title: | Coverability in VASS Revisited: Improving Rackoff's Bounds to Obtain Conditional Optimality. |
|---|---|
| Authors: | Künnemann, Marvin1 (AUTHOR) marvin.kuennemann@kit.edu, Mazowiecki, Filip2 (AUTHOR) f.mazowiecki@uw.edu.pl, Schütze, Lia3 (AUTHOR) lschuetze@mpi-sws.org, Sinclair-Banks, Henry4 (AUTHOR) hsb@mimuw.edu.pl, Węgrzycki, Karol5 (AUTHOR) karolwegrz@gmail.com |
| Source: | Journal of the ACM. Oct2025, Vol. 72 Issue 5, p1-27. 27p. |
| Database: | Business Source Ultimate |
Be the first to leave a comment!
