Signal Temporal Logic Evaluation and Synthesis Using Deep Reachability Analysis and Layered Control Architecture
The episode discusses a paper proposing a framework for verifying and synthesizing control for missions using Signal Temporal Logic (STL) and Deep Reachability Analysis, combined with a layered control architecture. Hosts discuss how this framework uses deep learning to speed up reachability checks, handles multiple reach-avoid problems, and combines Model Predictive Control with Mixed-Integer Linear Programming for safety assurance in dynamic environments.