VIDEO DOI: https://doi.org/10.48448/gv52-cz58
PAPER DOI: protocols, refinement, verification

technical paper

AAMAS 2020

May 11, 2020

Live on Underline

Refinement for Multiagent Protocols

Please log in to leave a comment

Downloads

SlidesTranscript English (automatic)

Next from AAMAS 2020

Reconfigurable Interaction for MAS Modelling
technical paper

Reconfigurable Interaction for MAS Modelling

AAMAS 2020

Yehia Abd Alrahman
Yehia Abd Alrahman and 2 other authors

11 May 2020

Similar lecture

Using Classification for Traffic Prediction in Smart Cities
technical paper

Using Classification for Traffic Prediction in Smart Cities

AIAI 2020

Konstantinos Christantonis
Konstantinos Christantonis

05 June 2020

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