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

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

Demonstration Informed Specification Search


Dec 20, 2021
Marcell Vazquez-Chanlatte, Ameesh Shah, Gil Lederman, Sanjit A. Seshia

Add code


   Access Paper or Ask Questions

Entropy-Guided Control Improvisation


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

Add code


   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

Add code


   Access Paper or Ask Questions

Interpretable Classification of Time-Series Data using Efficient Enumerative Techniques


Jul 24, 2019
Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Aniruddh G. Puranic, Marcell Vazquez-Chanlatte, Alexandre Donzé

Add code


   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

Add code


   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

Add code


   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

Add code

* NIPS 2018 

   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

Add code

* Submitted to RV 2018 

   Access Paper or Ask Questions

Logic-based Clustering and Learning for Time-Series Data


May 15, 2017
Marcell Vazquez-Chanlatte, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Sanjit A. Seshia

Add code


   Access Paper or Ask Questions