poster

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
poster

Modelling Cooperation in Network Games with Spatio-Temporal Complexity

AAMAS 2021

+4
Michiel Bakker and 6 other authors

04 May 2021

Similar lecture

Balancing Fairness and Efficiency in Traffic Routing via Interpolated Traffic Assignment
technical paper

Balancing Fairness and Efficiency in Traffic Routing via Interpolated Traffic Assignment

AAMAS 2022

+2Devansh Jalota
Devansh Jalota and 4 other authors

12 May 2022

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