technical paper

AAMAS 2021

May 04, 2021

Live on Underline

Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems

DOI: 10.48448/6kve-h163

Please log in to leave a comment


Transcript English (automatic)

Next from AAMAS 2021


A Global Multi-Sided Market with Ascending-Price Mechanism

AAMAS 2021

Rica Gonen and 1 other author

04 May 2021

Similar lecture

technical paper

Improved Cooperation by Exploiting a Common Signal

AAMAS 2021

Panayiotis Danassis and 2 other authors

04 May 2021

Stay up to date with the latest Underline news!


  • 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