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

SLIWOWICA

 

Small model property in games and automata


Prelegent: Maciej Zielenkiewicz

2023-06-16 12:15

Small model property is an important property that implies decidability. We show that the small model size is directly related to some important resources in games and automata for checking provability.