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