VIDEO DOI: https://doi.org/10.48448/6kve-h163

technical paper

AAMAS 2021

May 04, 2021

Live on Underline

Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems

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

Improved Cooperation by Exploiting a Common Signal
technical paper

Improved Cooperation by Exploiting a Common Signal

AAMAS 2021

Panayiotis Danassis
Panayiotis Danassis and 2 other authors

04 May 2021

Stay up to date with the latest Underline news!

Select topic of interest (you can select more than one)

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