Affine Extensions of Integer Vector Addition Systems with States.

Blondin, M., Haase, C., Mazowiecki, F., & Raskin, M. (2021). Affine Extensions of Integer Vector Addition Systems with States. Logical Methods in Computer Science.

Type

Journal article

Intellectual base

Primary research

Year

2021

Link

https://lmcs.episciences.org/7686/

Cited by

1 citation across 1 artifact.

Domain-specific

• Vector Addition System
  • Finite control can also be encoded into counters for many standard decision questions, so VAS, VASS, and Petri-net results are frequently transferred through reductions; they should still not be flattened into identical syntax.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:a831ac2f206e · see in the full table