PhD Thesis Proposal - Navid HashemiThu, Apr 25, 2024
10:30 AM - 12:00 PM
Location: RTH 306
Title: Verification and Synthesis of Controllers for Temporal Logic Objectives Using Neuro-Symbolic Methods
Committee Members: Jyotirmoy Deshmukh (Chair), Guarav Sukhatme, Chao Wang, Pierlggi Nuzzo, Lars Lindemann, Georgios...