Follow
Marcell Vazquez-Chanlatte
Marcell Vazquez-Chanlatte
Research Scientist at Nissan
Verified email at linux.com - Homepage
Title
Cited by
Cited by
Year
VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems
T Dreossi, DJ Fremont, S Ghosh, E Kim, H Ravanbakhsh, ...
International Conference on Computer Aided Verification, 432-442, 2019
962019
Formal specification for deep neural networks
SA Seshia, A Desai, T Dreossi, DJ Fremont, S Ghosh, E Kim, ...
International Symposium on Automated Technology for Verification and …, 2018
762018
Learning Task Specifications from Demonstrations
M Vazquez-Chanlatte, S Jha, A Tiwari, MK Ho, SA Seshia
Neural Information Processing Systems, 2018
582018
Logical Clustering and Learning for Time-Series Data
SS Marcell Vazquez-Chanlatte, Jyotirmoy V. Deshmukh, Xiaoqing Jin
International Conference on Computer Aided Verification, 2017
402017
Maximum Causal Entropy Specification Inference from Demonstrations
M Vazquez-Chanlatte, SA Seshia
International Conference on Computer Aided Verification, 2020
132020
Interpretable classification of time-series data using efficient enumerative techniques
S Mohammadinejad, JV Deshmukh, AG Puranic, M Vazquez-Chanlatte, ...
Proceedings of the 23rd International Conference on Hybrid Systems …, 2020
122020
Time-Series Learning Using Monotonic Logical Properties
M Vazquez-Chanlatte, S Ghosh, JV Deshmukh, A Sangiovanni-Vincentelli, ...
International Conference on Runtime Verification, 389-405, 2018
112018
A Model Counter's Guide to Probabilistic Systems
M Vazquez-Chanlatte, R Markus N, SA Seshia
72018
Model checking finite-horizon Markov chains with probabilistic inference
S Holtzen, S Junges, M Vazquez-Chanlatte, T Millstein, SA Seshia, ...
International Conference on Computer Aided Verification, 577-601, 2021
62021
Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games
MJ Vazquez-Chanlatte, S Ghosh, V Raman, A Sangiovanni-Vincentelli, ...
ADHS, 2018
52018
Surprise-Guided Search for Learning Task Specifications from Demonstrations
M Vazquez-Chanlatte, A Shah, G Lederman, SA Seshia
arXiv preprint arXiv:2112.10807, 2021
3*2021
Entropy-Guided Control Improvisation
M Vazquez-Chanlatte, S Junges, DJ Fremont, S Seshia
arXiv preprint arXiv:2103.05672, 2021
32021
mvcisback/py-aiger, August 2018
M Vazquez-Chanlatte
URL https://doi. org/10 5281, 0
3
Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations
N Lauffer, B Yalcinkaya, M Vazquez-Chanlatte, A Shah, SA Seshia
arXiv preprint arXiv:2205.13013, 2022
2022
Specifications from Demonstrations: Learning, Teaching, and Control
M Vazquez-Chanlatte
University of California, Berkeley, 2022
2022
Communicating Compositional and Temporal Specifications by Demonstration
M Vazquez-Chanlatte, MK Ho, TL Griffiths, SA Seshia
IFAC Conference on Cyber-Physical & Human Systems, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–16