Marcell Vazquez-Chanlatte
Marcell Vazquez-Chanlatte
Computer Science PhD Student at University of California, Berkeley
Verified email at linux.com - Homepage
Title
Cited by
Cited by
Year
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
322018
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
262019
Learning Task Specifications from Demonstrations
M Vazquez-Chanlatte, S Jha, A Tiwari, MK Ho, SA Seshia
Neural Information Processing Systems, 2018
25*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
252017
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
82018
Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games
MJ Vazquez-Chanlatte, S Ghosh, V Raman, A Sangiovanni-Vincentelli, ...
ADHS, 2018
52018
A Model Counter's Guide to Probabilistic Systems
M Vazquez-Chanlatte, R Markus N, SA Seshia
32018
Maximum Causal Entropy Specification Inference from Demonstrations
M Vazquez-Chanlatte, SA Seshia
International Conference on Computer Aided Verification, 2020
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
2018
The system can't perform the operation now. Try again later.
Articles 1–9