Presents a forward-only construction of semilinear inductive invariants for VAS built solely from the source configuration, avoiding backward reasoning.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
Reachability in priority-inhibitory CRNs is mostly in P for deletion-only systems but NP-complete in one case; in inhibitory CRNs it is mostly NP-complete for deletion-only and PSPACE-complete even for (1,1)-size reactions.
citing papers explorer
-
A Forward-Only Construction of Semilinear Inductive Invariants for VAS
Presents a forward-only construction of semilinear inductive invariants for VAS built solely from the source configuration, avoiding backward reasoning.
-
Reachability with Restricted Reactions in Inhibitory Chemical Reaction Networks
Reachability in priority-inhibitory CRNs is mostly in P for deletion-only systems but NP-complete in one case; in inhibitory CRNs it is mostly NP-complete for deletion-only and PSPACE-complete even for (1,1)-size reactions.