Verified Compositions of Neural Network Controllers for Temporal Logic Control Objectives

Jun Wang, Samarth Kalluraya, Yiannis Kantaros

This paper presents a new approach to design verified compositions of Neural Network (NN) controllers for autonomous systems with tasks captured by Linear Temporal Logic (LTL) form…