Łukasz Orlikowski

Language Equivalence is Undecidable in VASS with Restricted Nondeterminism

Wojciech Czerwiński, Łukasz Orlikowski

RP 2026 [ arxiv ]

Reachability in Fixed-Dimensional Continuous VASS

Michal Ajdarów, A. R. Balasubramanian, Łukasz Orlikowski

CONCUR 2026 [ arxiv ] Best paper award

Representing One Letter Weighted Automata over the Tropical Semiring

Shaull Almagor, Ismaël Jecker, Filip Mazowiecki, Łukasz Orlikowski, David Purser, Henry Sinclair-Banks

CONCUR 2026 [ arxiv ]

Exploring VASS Parameterised by Geometric Dimension

Wojciech Czerwiński, Roland Guttenberg, Łukasz Orlikowski, Henry Sinclair-Banks, Yangluo Zheng

ICALP 2026 [ arxiv ]

Reachability in VASS Extended with Integer Counters

Clotilde Bizière, Wojciech Czerwiński, Roland Guttenberg, Jérôme Leroux, Vincent Michielini, Łukasz Orlikowski, Antoni Puch, Henry Sinclair-Banks

LICS 2026 [ arxiv ]

Languages of Boundedly-Ambiguous Vector Addition Systems with States

Wojciech Czerwiński, Łukasz Orlikowski

CONCUR 2025 [ arxiv ]

Reachability in 3-VASS Is Elementary

Wojciech Czerwiński, Ismaël Jecker, Sławomir Lasota, Łukasz Orlikowski

ICALP 2025 [ arxiv ]

The Tractability Border of Reachability in Simple Vector Addition Systems with States

Dmitry Chistikov, Wojciech Czerwiński, Filip Mazowiecki, Łukasz Orlikowski, Henry Sinclair-Banks, Karol Węgrzycki

FOCS 2024 [ arxiv ]

New Lower Bounds for Reachability in Vector Addition Systems

Wojciech Czerwiński, Ismaël Jecker, Sławomir Lasota, Jérôme Leroux, Łukasz Orlikowski

FSTTCS 2023 [ arxiv ]

Lower Bounds for the Reachability Problem in Fixed Dimensional VASSes

Wojciech Czerwiński, Łukasz Orlikowski

LICS 2022 [ arxiv ]

Reachability in Vector Addition Systems is Ackermann-complete

Wojciech Czerwiński, Łukasz Orlikowski

FOCS 2021 [ arxiv ]

Improved Lower Bounds for Reachability in Vector Addition Systems

Wojciech Czerwiński, Sławomir Lasota, Łukasz Orlikowski

ICALP 2021 [ conference version ]