Language inclusion for unambiguous VASSes

Speaker(s)

Piotr Hofman

Affiliation

MIM UW

Date

Nov. 3, 2021, 2:15 p.m.

Room

room 5050

Seminar

Seminar Automata Theory

---

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.

---