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 AAMASview all
lecture cover

Sanjukta Roy

Algorithms for Swap and Shift Bribery in Structured Elections

AAMAS • May 11, 2020

similar lectures

similar conferencesview all

conference cover

ECAI 2020

24th European Conference on Artificial Intelligence