Łukasz Orlikowski | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Wojciech Czerwiński
11 publications

research

∙ 03/08/2022

Lower Bounds for the Reachability Problem in Fixed Dimensional VASSes

We study the complexity of the reachability problem for Vector Addition ...

0 Wojciech Czerwiński, et al. ∙

research

∙ 04/28/2021

Reachability in Vector Addition Systems is Ackermann-complete

Vector Addition Systems and equivalent Petri nets are a well established...

0 Wojciech Czerwiński, et al. ∙

Success!

An error occurred