Sławomir Lasota | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Pricing

Featured Co-authors

Filip Mazowiecki
2 publications
Wojciech Czerwiński
1 publication
Ranko Lazic
1 publication
Jerome Leroux
1 publication

research

∙ 05/18/2021

Improved Ackermannian lower bound for the VASS reachability problem

This draft is a follow-up of the Ackermannian lower bound for the reacha...

0 Sławomir Lasota, et al. ∙

research

∙ 09/19/2018

The Reachability Problem for Petri Nets is Not Elementary (Extended Abstract)

Petri nets, also known as vector addition systems, are a long establishe...

0 Wojciech Czerwiński, et al. ∙

Success!

An error occurred