Explore the second part of a series on spatio-temporal perception logic, focusing on its application in verifying perceptual systems for autonomous vehicles. Delve into the advanced concepts presented in this 15-minute video, which builds upon the foundation laid in the first part. Gain insights into the latest research and developments in this cutting-edge field, referencing the paper available at https://arxiv.org/abs/2206.14372. Learn how this logic framework can enhance the safety and reliability of autonomous systems by enabling rigorous verification of their perceptual capabilities. Benefit from the expertise shared by the Neuro Symbolic channel, known for its comprehensive coverage of the intersection between symbolic methods and deep learning in artificial intelligence.
Spatio-Temporal Perception Logic for Perceptual Systems Verification - Part 2
Overview
Syllabus
(Pt 2) Spatio-Temporal Perception Logic
Taught by
Neuro Symbolic
Related Courses
-
Spatio-Temporal Perception Logic for Perceptual Systems Verification - Part 3
-
Spatio-Temporal Perception Logic for Verification of Perceptual Systems - Part 1
-
Perception Contracts for Safety of ML-Enabled Systems
-
Training LNNs via Primal Dual Methods - Part 2 of 3
-
Perception and Learning for Autonomous Driving - Part 1
-
Training Logical Neural Networks via Primal-Dual Methods - Part 1
