VIDEO DOI: https://doi.org/10.48448/y4nd-ex34

technical paper

ECAI 2020

August 31, 2020

Live on Underline

Goal-constrained planning domain model verification of safety properties​

Please log in to leave a comment

Downloads

Transcript English (automatic)

Next from ECAI 2020

Towards a Human-Centred Cognitive Model of Visuospatial Complexity in Everyday Driving
technical paper

Towards a Human-Centred Cognitive Model of Visuospatial Complexity in Everyday Driving

ECAI 2020

Vasiliki Kondyli
Vasiliki Kondyli

31 August 2020

Similar lecture

ContraFeat: Contrasting Deep Features for Semantic Discovery
poster

ContraFeat: Contrasting Deep Features for Semantic Discovery

AAAI 2023

Xinqi Zhu 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