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
1202019
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
832018
Learning Task Specifications from Demonstrations
M Vazquez-Chanlatte, S Jha, A Tiwari, MK Ho, SA Seshia
Neural Information Processing Systems, 2018
652018
Logical Clustering and Learning for Time-Series Data
SS Marcell Vazquez-Chanlatte, Jyotirmoy V. Deshmukh, Xiaoqing Jin
International Conference on Computer Aided Verification, 2017
412017
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
182020
Maximum Causal Entropy Specification Inference from Demonstrations
M Vazquez-Chanlatte, SA Seshia
International Conference on Computer Aided Verification, 2020
142020
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
122018
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
72021
A Model Counter's Guide to Probabilistic Systems
M Vazquez-Chanlatte, R Markus N, SA Seshia
72018
Entropy-Guided Control Improvisation
M Vazquez-Chanlatte, S Junges, DJ Fremont, S Seshia
arXiv preprint arXiv:2103.05672, 2021
52021
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
4*2021
mvcisback/py-aiger, August 2018
M Vazquez-Chanlatte
URL https://doi. org/10 5281, 0
3
Learning Monitorable Operational Design Domains for Assured Autonomy
H Torfah, C Xie, S Junges, M Vazquez-Chanlatte, SA Seshia
Automated Technology for Verification and Analysis: 20th International …, 2022
12022
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
12022
Tech Report: Modeling and Influencing Human Attentiveness in Autonomy-to-Human Perception Hand-offs
YV Pant, BT Kumaravel, A Shah, E Kraemer, M Vazquez-Chanlatte, ...
1
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
Modeling and Influencing Human Attentiveness in Autonomy-to-Human Perception Hand-offs
YV Pant, BT Kumaravel, A Shah, E Kraemer, M Vazquez-Chanlatte, ...
The system can't perform the operation now. Try again later.
Articles 1–19