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
Safe and Effective Perception and Control through Formal Simulation
Modeling and Learning Multi-Agent Behaviors for Simulation and Analysis of Autonomous Driving Scenarios
Past Projects
Bridging Simulation and Real Data with Dynamic SCENIC Programs
Bridging Simulation and Real-World Data with SCENIC Queries
Data-Driven Generation and Analysis of Hazardous Traffic 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
