Parameterised Verification of Strategic Properties in Probabilistic Multi-Agent Systems

May 12, 2020 • Live on Underline

Dominik Peters-avatar-image
SPEAKER

Dominik Peters

Carnegie Mellon University
aboutabstractchaptersauthors

Parameterised Verification of Strategic Properties in Probabilistic Multi-Agent Systems

May 12, 2020 • Live on Underline

Dominik Peters-avatar-image
SPEAKER

Dominik Peters

Carnegie Mellon University

similar conferences

conference cover

AAMAS 2020

International Conference on Autonomous Agents and Multi-Agent Systems

next from AAMASview all
lecture cover

A Norm Emergence Framework for Normative MAS - Position Paper

AAMAS • May 12, 2020

similar lectures

PLATFORM

  • Home
  • Events
  • Video Library

COMPANY

RESOURCES

Underline Science, Inc.
1216 Broadway, 2nd Floor, New York, NY 10001, USA

© 2020 Underline - All rights reserved

Made with ❤️ in New York City