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

Speaker(s)

Wojciech Czerwiński

Affiliation

Uniwersytet Warszawski

Date

Nov. 9, 2016, 2:15 p.m.

Room

room 5870

Title in Polish

Separability of Reachability Sets of Vector Addition Systems

Seminar

Seminar Automata Theory

---

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.

---