You are not logged in | Log in
Logo of the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw Logo of the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw

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.

Careers

Website

© 2024 University of Warsaw. All rights reserved.