Mikhail Raskin | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Pricing

Featured Co-authors

Filip Mazowiecki
2 publications
Roland Guttenberg
1 publication
Christoph Haase
1 publication
Michael Blondin
1 publication

research

∙ 11/05/2022

Geometry of VAS reachability sets

Vector Addition Systems (VAS) or equivalently petri-nets are a popular m...

0 Roland Guttenberg, et al. ∙

research

∙ 09/26/2019

Affine Extensions of Integer Vector Addition Systems with States

We study the reachability problem for affine Z-VASS, which are integer v...

0 Michael Blondin, et al. ∙

Success!

An error occurred