Mikhail Raskin

Latest

• Affine Extensions of Integer Vector Addition Systems with States