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
2302019
Formal specification for deep neural networks
SA Seshia, A Desai, T Dreossi, DJ Fremont, S Ghosh, E Kim, ...
Automated Technology for Verification and Analysis: 16th International …, 2018
1172018
Learning Task Specifications from Demonstrations
M Vazquez-Chanlatte, S Jha, A Tiwari, MK Ho, SA Seshia
Neural Information Processing Systems, 2018
832018
Logical Clustering and Learning for Time-Series Data
SS Marcell Vazquez-Chanlatte, Jyotirmoy V. Deshmukh, Xiaoqing Jin
International Conference on Computer Aided Verification, 2017
49*2017
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
402020
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
152021
Maximum Causal Entropy Specification Inference from Demonstrations
M Vazquez-Chanlatte, SA Seshia
International Conference on Computer Aided Verification, 2020
152020
Time-series learning using monotonic logical properties
M Vazquez-Chanlatte, S Ghosh, JV Deshmukh, A Sangiovanni-Vincentelli, ...
Runtime Verification: 18th International Conference, RV 2018, Limassol …, 2018
152018
A Model Counter's Guide to Probabilistic Systems
M Vazquez-Chanlatte, R Markus N, SA Seshia
92018
Learning Monitorable Operational Design Domains for Assured Autonomy
H Torfah, C Xie, S Junges, M Vazquez-Chanlatte, SA Seshia
International Symposium on Automated Technology for Verification and …, 2022
82022
Surprise-Guided Search for Learning Task Specifications from Demonstrations
M Vazquez-Chanlatte, A Shah, G Lederman, SA Seshia
arXiv preprint arXiv:2112.10807, 2021
5*2021
VerifAI: A toolkit for the design and analysis of artificial intelligence-based systems
D Tommaso, DJ Fremont, S Ghosh, E Kim, H Ravanbakhsh, ...
Proceedings of the 31st Conference on Computer Aided Verification, CAV 2019, 2019
52019
Entropy-Guided Control Improvisation
M Vazquez-Chanlatte, S Junges, DJ Fremont, S Seshia
arXiv preprint arXiv:2103.05672, 2021
42021
Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games
MJ Vazquez-Chanlatte, S Ghosh, V Raman, A Sangiovanni-Vincentelli, ...
ADHS, 2018
42018
Learning deterministic finite automata decompositions from examples and demonstrations
N Lauffer, B Yalcinkaya, M Vazquez-Chanlatte, A Shah, SA Seshia
CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN–FMCAD 2022, 325, 2022
32022
Specifications from Demonstrations: Learning, Teaching, and Control
M Vazquez-Chanlatte
University of California, Berkeley, 2022
32022
mvcisback/py-aiger, August 2018
M Vazquez-Chanlatte
URL https://doi. org/10 5281, 0
3
Learning Formal Specifications from Membership and Preference Queries
A Shah, M Vazquez-Chanlatte, S Junges, SA Seshia
arXiv preprint arXiv:2307.10434, 2023
22023
Modeling and Influencing Human Attentiveness in Autonomy-to-Human Perception Hand-offs
YV Pant, BT Kumaravel, A Shah, E Kraemer, M Vazquez-Chanlatte, ...
2022 IEEE 25th International Conference on Intelligent Transportation …, 2022
22022
Tech report: Modeling and influencing human attentiveness in autonomyto-human perception hand-offs
YV Pant, BT Kumaravel, A Shah, E Kraemer, M Vazquez-Chanlatte, ...
12022
The system can't perform the operation now. Try again later.
Articles 1–20