AAMAS 2021

May 04, 2021

Live on Underline

STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions

Please log in to leave a comment

Next from AAMAS 2021


Modelling Cooperation in Network Games with Spatio-Temporal Complexity

AAMAS 2021

Michiel Bakker and 6 other authors

04 May 2021

Similar lecture

technical paper

Balancing Fairness and Efficiency in Traffic Routing via Interpolated Traffic Assignment

AAMAS 2022

Devansh Jalota and 4 other authors

12 May 2022

Stay up to date with the latest Underline news!


  • 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