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 Marcell Vazquez-Chanlatte

Marcell Vazquez-Chanlatte
Alert button

Demonstration Informed Specification Search


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

Add code
Alert button

Figure 1 for Demonstration Informed Specification Search
Figure 2 for Demonstration Informed Specification Search
Figure 3 for Demonstration Informed Specification Search
Figure 4 for Demonstration Informed Specification Search

   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

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


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

Add code
Alert button

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

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

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
Alert button

Figure 1 for Interpretable Classification of Time-Series Data using Efficient Enumerative Techniques
Figure 2 for Interpretable Classification of Time-Series Data using Efficient Enumerative Techniques
Figure 3 for Interpretable Classification of Time-Series Data using Efficient Enumerative Techniques
Figure 4 for Interpretable Classification of Time-Series Data using Efficient Enumerative Techniques

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

A Model Counter's Guide to Probabilistic Systems


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

Add code
Alert button

Figure 1 for A Model Counter's Guide to Probabilistic Systems
Figure 2 for A Model Counter's Guide to Probabilistic Systems
Figure 3 for A Model Counter's Guide to Probabilistic Systems
Figure 4 for A Model Counter's Guide to Probabilistic Systems

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

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
Alert button

Figure 1 for VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems
Figure 2 for VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems
Figure 3 for VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems
Figure 4 for VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems

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

Learning Task Specifications from Demonstrations


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

Add code
Alert button

Figure 1 for Learning Task Specifications from Demonstrations
Figure 2 for Learning Task Specifications from Demonstrations
Figure 3 for Learning Task Specifications from Demonstrations
* NIPS 2018 
   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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
Alert button

Figure 1 for Time Series Learning using Monotonic Logical Properties
Figure 2 for Time Series Learning using Monotonic Logical Properties
Figure 3 for Time Series Learning using Monotonic Logical Properties
Figure 4 for Time Series Learning using Monotonic Logical Properties
* Submitted to RV 2018 
   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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
Alert button

Figure 1 for Logic-based Clustering and Learning for Time-Series Data
Figure 2 for Logic-based Clustering and Learning for Time-Series Data
Figure 3 for Logic-based Clustering and Learning for Time-Series Data
Figure 4 for Logic-based Clustering and Learning for Time-Series Data

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