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