Explore the first part of a series on spatio-temporal perception logic, focusing on its application in verifying perceptual systems for safety-critical applications like autonomous vehicles. Delve into key concepts including safety-critical systems, warmups, and grammar. Learn how this logic framework can enhance the reliability and safety of autonomous systems by enabling formal verification of their perceptual capabilities. Gain insights from the associated research paper and benefit from the expertise of the Neuro Symbolic Channel, which offers comprehensive content on the intersection of symbolic methods and deep learning in artificial intelligence.
Spatio-Temporal Perception Logic for Verification of Perceptual Systems - Part 1
Overview
Syllabus
Introduction
Safety Critical Systems
Warmups
Grammar
Taught by
Neuro Symbolic
Related Courses
-
Spatio-Temporal Perception Logic for Perceptual Systems Verification - Part 2
-
Spatio-Temporal Perception Logic for Perceptual Systems Verification - Part 3
-
Verification and Synthesis of Autonomous Systems
-
Differentiable Inductive Logic Programming - Part 6: Q&A
-
Safety-Critical Autonomous Systems - What is Possible? What is Required?
-
Towards Assurance-Based Learning-Enabled Cyber-Physical Systems
