VIDEO DOI: https://doi.org/10.48448/9j8b-9g88

technical paper

AAMAS 2021

May 04, 2021

Live on Underline

Logic-based Specification and Verification of Homogeneous Dynamic Multi-agent Systems (JAAMAS Track)

Please log in to leave a comment

Downloads

Transcript English (automatic)

Next from AAMAS 2021

A Global Multi-Sided Market with Ascending-Price Mechanism
poster

A Global Multi-Sided Market with Ascending-Price Mechanism

AAMAS 2021

Erel Segal-Halevi
Rica Gonen and 1 other author

04 May 2021

Similar lecture

RPPLNS: Pay-per-last-N-shares with a Randomised Twist
poster

RPPLNS: Pay-per-last-N-shares with a Randomised Twist

AAMAS 2021

+1
Jonathan Katz and 3 other authors

04 May 2021

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