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/wbgh-j039

poster

AAAI 2023

February 12, 2023

Washington, United States

SMT Safety Verification of Ontology-Based Processes

Please log in to leave a comment

Downloads

SlidesTranscript English (automatic)

Next from AAAI 2023

Leveraging Structure for Improved Classification of Grouped Data
poster

Leveraging Structure for Improved Classification of Grouped Data

AAAI 2023

Predrag RadivojacShantanu Jain
Daniel L Zeiberg and 2 other authors

12 February 2023

Similar lecture

Estimating Treatment Effects from Irregular Time Series Observations with Hidden Confounders
poster

Estimating Treatment Effects from Irregular Time Series Observations with Hidden Confounders

AAAI 2023

+4Yan LiuDefu Cao
Defu Cao and 6 other authors

11 February 2023