Sanjit Seshia

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 9

Top Topics

Detect Outliers

Density Ratio Estimation

Data Generation

Top Venues

ACM Trans. Cyber Phys. Syst.

Robotics: Science and Systems

Publications

David Dalrymple, Joar Skalse, Yoshua Bengio, Stuart Russell, Max Tegmark, Sanjit Seshia, Steve Omohundro, Christian Szegedy, Ben Goldhaber, Nora Ammann, Alessandro Abate, Joe Halpern, Clark W. Barrett, Ding Zhao, Tan Zhi-Xuan, Jeannette Wing, Joshua B. Tenenbaum
Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems. CoRR (2024)
Shaokai Lin, Erling Rennemo Jellum, Mirco Theile, Tassilo Tanneberger, Binqi Sun, Chadlia Jerad, Ruomu Xu, Guangyu Feng, Christian Menard, Marten Lohstroh, Jerónimo Castrillón, Sanjit Seshia, Edward A. Lee
PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency. CoRR (2024)
Marcell Vazquez-Chanlatte, Sebastian Junges, Daniel J. Fremont, Sanjit Seshia
Entropy-Guided Control Improvisation. CoRR (2021)
Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit Seshia
Querying Labelled Data with Scenario Programs for Sim-to-Real Validation. CoRR (2021)
Marcell Vazquez-Chanlatte, Sebastian Junges, Daniel J. Fremont, Sanjit Seshia
Entropy-Guided Control Improvisation. Robotics: Science and Systems (2021)
Gil Lederman, Markus N. Rabe, Sanjit Seshia, Edward A. Lee
Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning. ICLR (2020)
Matthew Weber, Baihong Jin, Gil Lederman, Yasser Shoukry, Edward A. Lee, Sanjit Seshia, Alberto L. Sangiovanni-Vincentelli
Gordian: Formal Reasoning-based Outlier Detection for Secure Localization. ACM Trans. Cyber Phys. Syst. 4 (4) (2020)
Jay Shenoy, Edward Kim, Xiangyu Yue, Taesung Park, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit Seshia
A Customizable Dynamic Scenario Modeling and Data Generation Platform for Autonomous Driving. CoRR (2020)
Albert Magyar, David Biancolin, John Koenig, Sanjit Seshia, Jonathan Bachrach, Krste Asanovic
Golden Gate: Bridging The Resource-Efficiency Gap Between ASICs and FPGA Prototypes. ICCAD (2019)