Nie jesteś zalogowany |
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.
