A polynomial-time algorithm for reachability in branching VASS in dimension one

Branching VASS (BVASS) generalise vector addition systems with states by allowing for special branching transitions that can non-deterministically distribute a counter value between two control states. A run of a BVASS consequently becomes a tree, and reachability is to decide whether a given config...

Бүрэн тодорхойлолт

Номзүйн дэлгэрэнгүй
Үндсэн зохиолчид: Göller, S, Haase, C, Lazic, R, Totzke, P
Формат: Conference item
Хэвлэсэн: Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2016