Jump to navigation

Home Home

Main menu

  • About
  • Projects
  • Researchers
  • Sponsors

Researcher Sanjit Seshia

Researcher Biography
http://www.eecs.berkeley.edu/Faculty/Homepages/seshia.html

Current Projects

Bridging Simulation and Real Data with Dynamic SCENIC Programs
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-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
LOGIN

Address

109 McLaughlin Hall
Berkeley, CA 94720-1720

©2023 The Regents of the University of California. All rights reserved.