Joint Math/CS Colloquium

Specification-Guided Policy Synthesis

Time and Location:

April 08, 2022 at 11AM; 60 Fifth Avenue, Room 150

Speaker:

Suguman Bansal, University of Pennsylvania