Alert button
Picture for Marcell Vazquez-Chanlatte

Marcell Vazquez-Chanlatte

Alert button

Entropy-regularized Point-based Value Iteration

Feb 14, 2024
Harrison Delecki, Marcell Vazquez-Chanlatte, Esen Yel, Kyle Wray, Tomer Arnon, Stefan Witwicki, Mykel J. Kochenderfer

Viaarxiv icon

$L^*LM$: Learning Automata from Examples using Natural Language Oracles

Feb 10, 2024
Marcell Vazquez-Chanlatte, Karim Elmaaroufi, Stefan J. Witwicki, Sanjit A. Seshia

Viaarxiv icon

Learning Formal Specifications from Membership and Preference Queries

Jul 19, 2023
Ameesh Shah, Marcell Vazquez-Chanlatte, Sebastian Junges, Sanjit A. Seshia

Figure 1 for Learning Formal Specifications from Membership and Preference Queries
Figure 2 for Learning Formal Specifications from Membership and Preference Queries
Figure 3 for Learning Formal Specifications from Membership and Preference Queries
Figure 4 for Learning Formal Specifications from Membership and Preference Queries
Viaarxiv icon

Demonstration Informed Specification Search

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

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
Viaarxiv icon

Entropy-Guided Control Improvisation

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

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
Viaarxiv icon

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

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

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

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é

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
Viaarxiv icon

A Model Counter's Guide to Probabilistic Systems

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

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
Viaarxiv icon

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

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
Viaarxiv icon

Learning Task Specifications from Demonstrations

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

Figure 1 for Learning Task Specifications from Demonstrations
Figure 2 for Learning Task Specifications from Demonstrations
Figure 3 for Learning Task Specifications from Demonstrations
Viaarxiv icon