VIDEO DOI: https://doi.org/10.48448/3ffd-bs38
PAPER DOI: Model checking, Verification, Probabilistic model checking, Parameterised verification, Strategic properties

technical paper

AAMAS 2020

May 11, 2020

Live on Underline

Parameterised Verification of Strategic Properties in Probabilistic Multi-Agent Systems

Please log in to leave a comment

Downloads

SlidesTranscript English (automatic)

Next from AAMAS 2020

Algorithms for Swap and Shift Bribery in Structured Elections
technical paper

Algorithms for Swap and Shift Bribery in Structured Elections

AAMAS 2020

+1Sanjukta Roy
Sanjukta Roy and 3 other authors

11 May 2020

Similar lecture

Stay up to date with the latest Underline news!

PRESENTATIONS

  • All Lectures
  • For Librarians
  • Resource Center
  • Free Trial
Underline Science, Inc.
1216 Broadway, 2nd Floor, New York, NY 10001, USA

© 2023 Underline - All rights reserved