Not registered as user yet

Name:Sanjit Seshia
Affiliation:UC Berkeley

Contributions

NASA Formal Methods Design Automation for Verified AI-Based Autonomy
Show activities from other conferences

Using general profile