Lecture image placeholder

Premium content

Access to this content requires a subscription. You must be a premium user to view this content.

Monthly subscription - $9.99Pay per view - $4.99Access through your institutionLogin with Underline account
Need help?
Contact us
Lecture placeholder background
VIDEO DOI: https://doi.org/10.48448/g97j-0x26

poster

AAAI 2023

February 12, 2023

Washington, United States

Model-Checking for Ability-Based Logics with Constrained Plans

Please log in to leave a comment

Downloads

SlidesTranscript English (automatic)

Next from AAAI 2023

MRCN: A Novel Modality Restitution and Compensation Network for Visible-Infrared Person Re-Identification
poster

MRCN: A Novel Modality Restitution and Compensation Network for Visible-Infrared Person Re-Identification

AAAI 2023

+1Yan YanJie Li
Hanzi Wang and 3 other authors

12 February 2023

Similar lecture

R-CHECK: A Model Checker for Verifying Reconfigurable MAS
poster

R-CHECK: A Model Checker for Verifying Reconfigurable MAS

AAMAS 2022

Shaun Azzopardi
Shaun Azzopardi and 2 other authors

11 May 2022

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