Separability of Reachability Sets of Vector Addition Systems

Prelegent(ci)

Wojciech Czerwiński

Afiliacja

Uniwersytet Warszawski

Termin

9 listopada 2016 14:15

Pokój

p. 5870

Tytuł w języku angielskim

joint work with Lorenzo Clemente, Sławomir Lasota and Charles Paperman

Seminarium

Seminarium „Teoria automatów”

---

Given two families of sets F and G, the separability problem of sets from a class G by sets from a class F asks whether for two given sets U, V in G there exists a set S in F such that U is included in S and V has an empty intersection with S.

We show that separability problem of reachability sets of Vector Addition Systems by both modular and unary sets is decidable.

---