NASA Formal Methods (series) / Sanjit Seshia
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