Language inclusion for unambiguous VASSes

Prelegent(ci)

Piotr Hofman

Afiliacja

MIM UW

Termin

3 listopada 2021 14:15

Pokój

p. 5050

Seminarium

Seminarium „Teoria automatów”

---

During the talk, I will present our unpublished results with Wojciech Czerwiński. I will show the decidability of language inclusion for unambiguous VASSes. The main tool is, up to our knowledge, a new concept of future-determinization.

---