Reachability problem for fixed dimensional VASSes

Prelegent(ci)

Wojciech Czerwiński

Afiliacja

Uniwersytet Warszawski

Termin

15 stycznia 2020 14:15

Pokój

p. 5050

Tytuł w języku angielskim

joint work with Sławomir Lasota, Ranko Lazic, Jerome Leroux and Filip Mazowiecki

Seminarium

Seminarium „Teoria automatów”

---

I will present a few recent results about reachability problem for fixed dimensional VASSes.
There results invalidate some previously posed conjectures and show that the problem is harder than previously expected to be.

---