FROMANNUAL REVIEWS

ECAI 2020

•

August 31, 2020

•

Live on Underline

Please log in to leave a comment

Downloads

Transcript English (automatic)

Next from ECAI 2020

Goal-constrained planning domain model verification of safety properties​
technical paper

Goal-constrained planning domain model verification of safety properties​

ECAI 2020

Anas Shrinah
Anas Shrinah

31 August 2020

Similar lecture

Learning from Machines
keynote

Learning from Machines

BRACIS 2021

Levi H. S. Lelis

02 December 2021

Stay up to date with the latest Underline news!

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

PRESENTATIONS

  • All Presentations
  • For Librarians
  • Resource Center
  • Free Trial
Underline Science, Inc.
1216 Broadway, 2nd Floor, New York, NY 10001, USA

© 2026 Underline - All rights reserved

This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.