Marcell Vazquez-Chanlatte

Cited by

	All	Since 2017
Citations	333	329
h-index	7	7
i10-index	7	7

140

105

20162017201820192020202120222 6 8 51 83 121 54

Public access

View all

9 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Sanjit A. SeshiaUniversity of California, BerkeleyVerified email at eecs.berkeley.edu
Shromona GhoshGraduate Student Researcher, University of California, BerkeleyVerified email at berkeley.edu
Tommaso DreossiML Senior Engineer, insitroVerified email at amazon.com
Daniel J. FremontAssistant Professor, University of California, Santa CruzVerified email at ucsc.edu
Edward KimPhD Candidate at UC Berkeley, Electrical Engineering and Computer Science (EECS)Verified email at berkeley.edu
Jyotirmoy V. DeshmukhAssistant Professor, University of Southern CaliforniaVerified email at usc.edu
Ashish TiwariComputer Scientist, SRI InternationalVerified email at csl.sri.com
Susmit JhaPrincipal Scientist, SRI InternationalVerified email at sri.com
Xiangyu YuePhD candidate in EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Ankush DesaiSenior Applied Scientist, Amazon Web ServicesVerified email at amazon.com
Mark HoPostdoctoral Researcher, Princeton UniversityVerified email at princeton.edu
Xiaoqing JinApple Inc.Verified email at cs.ucr.edu
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Sebastian JungesAssistant Professor, Radboud University, NijmegenVerified email at ru.nl
Sara MohammadinejadUniversity of Southern CaliforniaVerified email at usc.edu
Alexandre DonzeDecyphirVerified email at decyphir.com
Markus N RabeGoogleVerified email at google.com
Vasumathi RamanVerified email at cds.caltech.edu

Marcell Vazquez-Chanlatte

Research Scientist at Nissan

Verified email at linux.com - Homepage

Learning from demonstrations Specification Inference AI Safety


Title Sort by citations Sort by year Sort by 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	96	2019
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	76	2018
Learning Task Specifications from Demonstrations M Vazquez-Chanlatte, S Jha, A Tiwari, MK Ho, SA Seshia Neural Information Processing Systems, 2018	58	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	40	2017
Maximum Causal Entropy Specification Inference from Demonstrations M Vazquez-Chanlatte, SA Seshia International Conference on Computer Aided Verification, 2020	13	2020
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	12	2020
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	11	2018
A Model Counter's Guide to Probabilistic Systems M Vazquez-Chanlatte, R Markus N, SA Seshia	7	2018
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	6	2021
Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games MJ Vazquez-Chanlatte, S Ghosh, V Raman, A Sangiovanni-Vincentelli, ... ADHS, 2018	5	2018
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	3	2021
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

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors