a decidable reachability problem such as reversal-bounded counter admit reachability sets effectively definable in Presburger arithmetic (assuming some.
DP DS b
ing that reachability sets are effectively definable in Presburger arithmetic. Exten- other decidability/complexity issues summarised as follows.
SD EORM
Dec 20 2018 Keywords and phrases Counter machine
Dec 10 2008 a Presburger definable reachability set. The techniques presented throughout the paper allow for model checking many counter systems (more ...
the reachability sets are Presburger-definable as well as temporal logics Many subclasses of counter machines admit a decidable reachability.
Keywords and phrases Counter machine Vector addition system
LIPIcs FSTTCS
Oct 4 2019 for most of the (Presburger-defined) counter machines except for Affine VASS of ... Section 4 studies the decidability of reachability and.
Keywords and phrases Counter machine Vector addition system
LIPIcs FSTTCS
Oct 22 2012 clusion problem) between reachability sets defined by Petri nets