Nie jesteś zalogowany | zaloguj się

Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego

  • Skala szarości
  • Wysoki kontrast
  • Negatyw
  • Podkreślenie linków
  • Reset

Aktualności — Wydarzenia

Teoria Automatów

 

Reachability problem for fixed dimensional VASSes (joint work with Sławomir Lasota, Ranko Lazic, Jerome Leroux and Filip Mazowiecki)


Prelegent: Wojciech Czerwiński

2020-01-15 14:15

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.