Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox
Picture for Sanjit Seshia

Sanjit Seshia
Alert button

Querying Labelled Data with Scenario Programs for Sim-to-Real Validation


Dec 01, 2021
Edward Kim, Jay Shenoy, Sebastian Junges, Daniel Fremont, Alberto Sangiovanni-Vincentelli, Sanjit Seshia

Add code
Alert button

Figure 1 for Querying Labelled Data with Scenario Programs for Sim-to-Real Validation
Figure 2 for Querying Labelled Data with Scenario Programs for Sim-to-Real Validation
Figure 3 for Querying Labelled Data with Scenario Programs for Sim-to-Real Validation
Figure 4 for Querying Labelled Data with Scenario Programs for Sim-to-Real Validation
* pre-print 
   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Entropy-Guided Control Improvisation


Mar 09, 2021
Marcell Vazquez-Chanlatte, Sebastian Junges, Daniel J. Fremont, Sanjit Seshia

Add code
Alert button

Figure 1 for Entropy-Guided Control Improvisation
Figure 2 for Entropy-Guided Control Improvisation
Figure 3 for Entropy-Guided Control Improvisation
Figure 4 for Entropy-Guided Control Improvisation

   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

A Customizable Dynamic Scenario Modeling and Data Generation Platform for Autonomous Driving


Nov 30, 2020
Jay Shenoy, Edward Kim, Xiangyu Yue, Taesung Park, Daniel Fremont, Alberto Sangiovanni-Vincentelli, Sanjit Seshia

Add code
Alert button

Figure 1 for A Customizable Dynamic Scenario Modeling and Data Generation Platform for Autonomous Driving
Figure 2 for A Customizable Dynamic Scenario Modeling and Data Generation Platform for Autonomous Driving
Figure 3 for A Customizable Dynamic Scenario Modeling and Data Generation Platform for Autonomous Driving

   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

A Programmatic and Semantic Approach to Explaining and DebuggingNeural Network Based Object Detectors


Dec 01, 2019
Edward Kim, Divya Gopinath, Corina Pasareanu, Sanjit Seshia

Add code
Alert button

Figure 1 for A Programmatic and Semantic Approach to Explaining and DebuggingNeural Network Based Object Detectors
Figure 2 for A Programmatic and Semantic Approach to Explaining and DebuggingNeural Network Based Object Detectors
Figure 3 for A Programmatic and Semantic Approach to Explaining and DebuggingNeural Network Based Object Detectors
Figure 4 for A Programmatic and Semantic Approach to Explaining and DebuggingNeural Network Based Object Detectors

   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Generating Semantic Adversarial Examples with Differentiable Rendering


Oct 02, 2019
Lakshya Jain, Wilson Wu, Steven Chen, Uyeong Jang, Varun Chandrasekaran, Sanjit Seshia, Somesh Jha

Add code
Alert button

Figure 1 for Generating Semantic Adversarial Examples with Differentiable Rendering
Figure 2 for Generating Semantic Adversarial Examples with Differentiable Rendering
Figure 3 for Generating Semantic Adversarial Examples with Differentiable Rendering
Figure 4 for Generating Semantic Adversarial Examples with Differentiable Rendering

   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email