Counter machines: Decision problems and applications
From MaRDI portal
Recommendations
- Counter machines: Decidable properties and applications to verification problems
- New Decidability Results Concerning Two-Way Counter Machines
- On the universe, disjointness, and containment problems for simple machines
- New decidability results concerning two-way counter machines and applications
- Counter machines and verification problems.
Cited in
(13)- Counter machines and verification problems.
- Dense-choice counter machines revisited
- CTL* model checking for data-aware dynamic systems with arithmetic
- On decision problems for parameterized machines
- Language recognition by two-way deterministic pushdown automata
- Lossy counter machines decidability cheat sheet
- The Concept of n‐Cylinder and its Application
- Counter machines: Decidable properties and applications to verification problems
- New decidability results concerning two-way counter machines and applications
- Boundedness problems for Minsky counter machines
- Register machines with counters
- On the universe, disjointness, and containment problems for simple machines
- Two-way one-counter nets revisited
This page was built for publication: Counter machines: Decision problems and applications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4941150)
