Skip to main content
Instytut Podstaw Informatyki PAN (baner)

Seminarium zESPOŁU teorii SYSTEMÓW RoZPROSZONYCH I OBLICZENIOWYCH:

Informacje:

Czwartki, o godz. 13:30
Miejsce seminarium: sala seminaryjna IPI PAN

Organizator:

e-mail: Michal.Knapik@ipipan.waw.pl 

28.04.2025 — seminarium Zespołu Teorii Systemów Rozproszonych i Obliczeniowych — godz. 14:00

Marta Kwiatkowska (University of Oxford / IPI PAN)

Odnośnik do spotkania w MS Teams (nowe okno)

+ - Probabilistic model checking for strategic equilibria-based decision making Click to collapse

Streszczenie (autorskie):

I will focus on concurrent stochastic games and equilibria-based verification/synthesis.

Więcej…28.04.2025 - Seminarium Zespołu Teorii Systemów Rozproszonych i Obliczeniowych

© 2021 INSTYTUT PODSTAW INFORMATYKI PAN | Polityka prywatności | Deklaracja dostępności