Institute seminar:

Streszczenie (autorskie):

Weryfikacja własności strategicznych w systemach wieloagentowych jest zarówno istotna, jak i wysoce złożona. Od kilku lat nasz zespół opracowuje narzędzia i algorytmy modelowej weryfikacji, ze szczególnym uwzględnieniem modeli z niepełną informacją. Dzięki nim można odpowiadać na pytania typu: „Czy przymuszacz posiada strategię wymuszającą na wyborcy oddanie głosu na kandydata A?”. W trakcie wystąpienia przedstawimy rozwijane techniki, nasze autorskie narzędzia oraz praktyczne wyniki eksperymentów, obejmujące m.in. protokoły e‑głosowania oraz symulacje lotu rakiety suborbitalnej. Zaprezentujemy także najnowsze możliwości naszego systemu - w tym weryfikację modeli probabilistycznych - i omówimy, jak mogą one wspierać dalsze badania nad bezpieczeństwem i niezawodnością systemów wieloagentowych.