Loading...

poster

AAMAS 2022

May 11, 2022

New Zealand

R-CHECK: A Model Checker for Verifying Reconfigurable MAS

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

Model-Checking for Ability-Based Logics with Constrained Plans
poster

Model-Checking for Ability-Based Logics with Constrained Plans

AAAI 2023

Raul Fervari
Raul Fervari and 1 other author

12 February 2023

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