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