poster

AAMAS 2022

May 11, 2022

New Zealand

Towards Assume-Guarantee Verification of Strategic Ability

Please log in to leave a comment

Downloads

Next from AAMAS 2022

Three-Dimensional Popular Matching with Cyclic Preferences
technical paper

Three-Dimensional Popular Matching with Cyclic Preferences

AAMAS 2022

Jannik Peters
Jannik Peters

11 May 2022

Similar lecture

A Logic of Explicit and Implicit Distributed Belief
technical paper

A Logic of Explicit and Implicit Distributed Belief

ECAI 2020

Emiliano Lorini
Emiliano Lorini

31 August 2020

Stay up to date with the latest Underline news!

Select topic of interest (you can select more than one)

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