Marcell Vazquez-Chanlatte
Marcell Vazquez-Chanlatte
Computer Science PhD Student at University of California, Berkeley
Verified email at - Homepage
Cited by
Cited by
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
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
Learning Task Specifications from Demonstrations
M Vazquez-Chanlatte, S Jha, A Tiwari, MK Ho, SA Seshia
Neural Information Processing Systems, 2018
Logical Clustering and Learning for Time-Series Data
SS Marcell Vazquez-Chanlatte, Jyotirmoy V. Deshmukh, Xiaoqing Jin
International Conference on Computer Aided Verification, 2017
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
Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games
MJ Vazquez-Chanlatte, S Ghosh, V Raman, A Sangiovanni-Vincentelli, ...
ADHS, 2018
A Model Counter's Guide to Probabilistic Systems
M Vazquez-Chanlatte, R Markus N, SA Seshia
Maximum Causal Entropy Specification Inference from Demonstrations
M Vazquez-Chanlatte, SA Seshia
International Conference on Computer Aided Verification, 2020
Communicating Compositional and Temporal Specifications by Demonstration
M Vazquez-Chanlatte, MK Ho, TL Griffiths, SA Seshia
IFAC Conference on Cyber-Physical & Human Systems, 2018
The system can't perform the operation now. Try again later.
Articles 1–9