Skip to main content
Instytut Podstaw Informatyki PAN (baner)

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.

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