discoverconferences

Parameterised Verification of Strategic Properties in Probabilistic Multi-Agent Systems

May 11, 2020 • Live on Underline

Edoardo Pirovano-avatar-image
SPEAKER

Edoardo Pirovano

Imperial College London
aboutabstractfurther readingauthors

Parameterised Verification of Strategic Properties in Probabilistic Multi-Agent Systems

May 11, 2020 • Live on Underline

Edoardo Pirovano-avatar-image
SPEAKER

Edoardo Pirovano

Imperial College London
next from AAMAS 2020view all
lecture cover

Sanjukta Roy

Algorithms for Swap and Shift Bribery in Structured Elections

AAMAS 2020 • May 11, 2020

similar lectures

similar conferencesview all

conference cover

AIAI 2020

16th International Conference on Artificial Intelligence Applications and Innovations