Jump to navigation
Enter your keywords
Main menu
About
Projects
Researchers
Sponsors
Researcher Sanjit Seshia
Researcher Biography
http://www.eecs.berkeley.edu/Faculty/Homepages/seshia.html
Current Projects
Model-Based Testing meets Large Language Models: Automating Intelligent Scenario Generation and Safety Assessment with ScenicNL
Past Projects
Modeling and Learning Multi-Agent Behaviors for Simulation and Analysis of Autonomous Driving Scenarios
Data-Driven Synthesis of Hazardous Scenarios at Traffic Intersections
Safe and Effective Learning and Control through Formal Simulation
Safe and Effective Learning through Formal Simulation
Generation and Mitigation of Hazardous Scenarios at Traffic Intersections
Predictable and Customizable Autonomous Driving
Verifiable Control for (Semi)Autonomous Cars that Learns from Human (Re)Actions