VIDEO DOI: https://doi.org/10.48448/tqre-p733

technical paper

ECAI 2020

August 31, 2020

Live on Underline

Verifying Strategic Abilities in Multi-agent Systems via First-order Entailment

Please log in to leave a comment

Downloads

Transcript English (automatic)

Next from ECAI 2020

A unified and unsupervised framework for bilingual phrase alignment on specialized comparable corpora
technical paper

A unified and unsupervised framework for bilingual phrase alignment on specialized comparable corpora

ECAI 2020

Jingshu LIU
Jingshu LIU

31 August 2020

Similar lecture

Lifted model checking for relational MDPs
poster

Lifted model checking for relational MDPs

AAAI 2023

Wen-Chi Yang and 2 other authors

10 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