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

 Add to Chrome

 Add to Firefox

CatalyzeX Code Finder - Browser extension linking code for ML papers across the web! | Product Hunt Embed
Scenic: A Language for Scenario Specification and Data Generation

Oct 13, 2020
Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

* Supercedes arXiv:1809.09310 

  Access Paper or Ask Questions

Co-design of Control and Planning for Multi-rotor UAVs with Signal Temporal Logic Specifications

Sep 30, 2020
Yash Vardhan Pant, He Yin, Murat Arcak, Sanjit A. Seshia


  Access Paper or Ask Questions

A Review of Single-Source Deep Unsupervised Visual Domain Adaptation

Sep 19, 2020
Sicheng Zhao, Xiangyu Yue, Shanghang Zhang, Bo Li, Han Zhao, Bichen Wu, Ravi Krishna, Joseph E. Gonzalez, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Kurt Keutzer


  Access Paper or Ask Questions

SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System

Aug 21, 2020
Sumukh Shivakumar, Hazem Torfah, Ankush Desai, Sanjit A. Seshia

* 20th International Conference on Runtime Verification 

  Access Paper or Ask Questions

Gradient Descent over Metagrammars for Syntax-Guided Synthesis

Jul 16, 2020
Nicolas Chan, Elizabeth Polgreen, Sanjit A. Seshia

* 5 pages, SYNT 2020 

  Access Paper or Ask Questions

Learning Branching Heuristics for Propositional Model Counting

Jul 07, 2020
Pashootan Vaezipoor, Gil Lederman, Yuhuai Wu, Chris J. Maddison, Roger Grosse, Edward Lee, Sanjit A. Seshia, Fahiem Bacchus


  Access Paper or Ask Questions

Enforcing Almost-Sure Reachability in POMDPs

Jun 30, 2020
Sebastian Junges, Nils Jansen, Sanjit A. Seshia


  Access Paper or Ask Questions

Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI

May 14, 2020
Daniel J. Fremont, Johnathan Chiu, Dragos D. Margineantu, Denis Osipychev, Sanjit A. Seshia

* Full version of a CAV 2020 paper 

  Access Paper or Ask Questions

Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World

Mar 17, 2020
Daniel J. Fremont, Edward Kim, Yash Vardhan Pant, Sanjit A. Seshia, Atul Acharya, Xantha Bruso, Paul Wells, Steve Lemke, Qiang Lu, Shalin Mehta

* 9 pages 

  Access Paper or Ask Questions

Counterexample-Guided Synthesis of Perception Models and Control

Nov 08, 2019
Shromona Ghosh, Hadi Ravanbakhsh, Sanjit A. Seshia


  Access Paper or Ask Questions

Modularity in Query-Based Concept Learning

Nov 07, 2019
Benjamin Caulfield, Sanjit A. Seshia

* 17 pages, 4 figures, submitted to TACAS 2020 

  Access Paper or Ask Questions

Real-time Funnel Generation for Restricted Motion Planning

Nov 04, 2019
Hadi Ravanbakhsh, Forrest Laine, Sanjit A. Seshia


  Access Paper or Ask Questions

On the Utility of Learning about Humans for Human-AI Coordination

Oct 13, 2019
Micah Carroll, Rohin Shah, Mark K. Ho, Thomas L. Griffiths, Sanjit A. Seshia, Pieter Abbeel, Anca Dragan

* Published at NeurIPS 2019 

  Access Paper or Ask Questions

Learning Task Specifications from Demonstrations via the Principle of Maximum Causal Entropy

Jul 26, 2019
Marcell Vazquez-Chanlatte, Sanjit A. Seshia


  Access Paper or Ask Questions

A Formalization of Robustness for Deep Neural Networks

Mar 24, 2019
Tommaso Dreossi, Shromona Ghosh, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia


  Access Paper or Ask Questions

A Model Counter's Guide to Probabilistic Systems

Mar 22, 2019
Marcell Vazquez-Chanlatte, Markus N. Rabe, Sanjit A. Seshia


  Access Paper or Ask Questions

A New Simulation Metric to Determine Safe Environments and Controllers for Systems with Unknown Dynamics

Feb 27, 2019
Shromona Ghosh, Somil Bansal, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia, Claire J. Tomlin

* 22nd ACM International Conference on Hybrid Systems: Computation and Control (2019) 

  Access Paper or Ask Questions

VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems

Feb 14, 2019
Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia


  Access Paper or Ask Questions

SOTER: Programming Safe Robotics System using Runtime Assurance

Feb 11, 2019
Ankush Desai, Shromona Ghosh, Sanjit A. Seshia, Natarajan Shankar, Ashish Tiwari


  Access Paper or Ask Questions

Learning Task Specifications from Demonstrations

Oct 27, 2018
Marcell Vazquez-Chanlatte, Susmit Jha, Ashish Tiwari, Mark K. Ho, Sanjit A. Seshia

* NIPS 2018 

  Access Paper or Ask Questions

Scenic: Language-Based Scene Generation

Sep 25, 2018
Daniel J. Fremont, Xiangyu Yue, Tommaso Dreossi, Shromona Ghosh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

* 35 pages, 36 figures. Extended version of UC Berkeley EECS Department Tech Report No. UCB/EECS-2018-8 

  Access Paper or Ask Questions

Time Series Learning using Monotonic Logical Properties

Aug 01, 2018
Marcell Vazquez-Chanlatte, Shromona Ghosh, Jyotirmoy V. Deshmukh, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia

* Submitted to RV 2018 

  Access Paper or Ask Questions

Learning Heuristics for Automated Reasoning through Deep Reinforcement Learning

Jul 20, 2018
Gil Lederman, Markus N. Rabe, Sanjit A. Seshia


  Access Paper or Ask Questions

Semantic Adversarial Deep Learning

May 18, 2018
Tommaso Dreossi, Somesh Jha, Sanjit A. Seshia


  Access Paper or Ask Questions

Counterexample-Guided Data Augmentation

May 17, 2018
Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Kurt Keutzer, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia


  Access Paper or Ask Questions

A LiDAR Point Cloud Generator: from a Virtual World to Autonomous Driving

Mar 31, 2018
Xiangyu Yue, Bichen Wu, Sanjit A. Seshia, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli


  Access Paper or Ask Questions