Marcell Vazquez-Chanlatte

Navedeno

	Vse	Od leta 2020
Navedbe	769	701
indeks h	9	9
indeks i10	9	9

180

135

201820192020202120222023202420258 52 84 133 142 144 173 24

Javni dostop

Prikaži vse

11 člankov

0 člankov

na voljo

ni na voljo

Na podlagi zahtev v povezavi s financiranjem

Soavtorji

Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyPreverjeni e-poštni naslov na eecs.berkeley.edu
Tommaso DreossiStaff ML Scientist, insitroPreverjeni e-poštni naslov na amazon.com
Daniel J. FremontAssistant Professor, University of California, Santa CruzPreverjeni e-poštni naslov na ucsc.edu
Edward KimPostdoc at UC Berkeley, Electrical Engineering and Computer Science (EECS)Preverjeni e-poštni naslov na eecs.berkeley.edu
Jyotirmoy V. DeshmukhAssociate Professor, University of Southern CaliforniaPreverjeni e-poštni naslov na usc.edu
Sebastian JungesAssistant Professor, Radboud University, NijmegenPreverjeni e-poštni naslov na ru.nl
Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftPreverjeni e-poštni naslov na csl.sri.com
Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalPreverjeni e-poštni naslov na sri.com
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyPreverjeni e-poštni naslov na eecs.berkeley.edu
Xiangyu YueAssistant Professor at The Chinese University of Hong KongPreverjeni e-poštni naslov na eecs.berkeley.edu
Ankush DesaiPrincipal Applied Scientist, Amazon Web ServicesPreverjeni e-poštni naslov na amazon.com
Mark HoAssistant Professor, New York UniversityPreverjeni e-poštni naslov na nyu.edu
Xiaoqing JinApple Inc.Preverjeni e-poštni naslov na cs.ucr.edu
Sara MohammadinejadUniversity of Southern CaliforniaPreverjeni e-poštni naslov na usc.edu
Alexandre DonzeDecyphirPreverjeni e-poštni naslov na decyphir.com
Niklas LaufferPh.D. Student at UC BerkeleyPreverjeni e-poštni naslov na berkeley.edu
Beyazit YalcinkayaUniversity of California, BerkeleyPreverjeni e-poštni naslov na eecs.berkeley.edu
Steven HoltzenNortheastern UniversityPreverjeni e-poštni naslov na northeastern.edu
Todd MillsteinProfessor of Computer Science, UCLAPreverjeni e-poštni naslov na cs.ucla.edu
Guy Van den BroeckProfessor and Samueli Fellow, UCLAPreverjeni e-poštni naslov na cs.ucla.edu

Spremljaj

Marcell Vazquez-Chanlatte

Research Scientist at Nissan

Preverjeni e-poštni naslov na linux.com - Domača stran

Learning from demonstrations Specification Inference AI Safety


Naslov Razvrsti po navedbah Razvrsti po letniku Razvrsti po naslovu	Navedeno Navedeno	Leto
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	289	2019
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	144	2018
Learning Task Specifications from Demonstrations M Vazquez-Chanlatte, S Jha, A Tiwari, MK Ho, SA Seshia Neural Information Processing Systems, 2018	96	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	56*	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	51	2020
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	23	2021
Maximum Causal Entropy Specification Inference from Demonstrations M Vazquez-Chanlatte, SA Seshia International Conference on Computer Aided Verification, 2020	18	2020
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	16	2018
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	13	2022
A Model Counter's Guide to Probabilistic Systems M Vazquez-Chanlatte, R Markus N, SA Seshia	9	2018
ScenicNL: generating probabilistic scenario programs from natural language K Elmaaroufi, D Shanker, A Cismaru, M Vazquez-Chanlatte, ... First Conference on Language Modeling, 2024	8*	2024
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	8	2022
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	8	2019
Surprise-Guided Search for Learning Task Specifications from Demonstrations M Vazquez-Chanlatte, A Shah, G Lederman, SA Seshia arXiv preprint arXiv:2112.10807, 2021	6*	2021
Entropy-Guided Control Improvisation M Vazquez-Chanlatte, S Junges, DJ Fremont, S Seshia arXiv preprint arXiv:2103.05672, 2021	4	2021
Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games MJ Vazquez-Chanlatte, S Ghosh, V Raman, A Sangiovanni-Vincentelli, ... ADHS, 2018	4	2018
Learning Formal Specifications from Membership and Preference Queries A Shah, M Vazquez-Chanlatte, S Junges, SA Seshia arXiv preprint arXiv:2307.10434, 2023	3	2023
Specifications from Demonstrations: Learning, Teaching, and Control M Vazquez-Chanlatte University of California, Berkeley, 2022	3	2022
mvcisback/py-aiger, August 2018 M Vazquez-Chanlatte URL https://doi. org/10 5281, 0	3
Automata Conditioned Reinforcement Learning with Experience Replay B Yalcinkaya, N Lauffer, M Vazquez-Chanlatte, S Seshia NeurIPS 2023 Workshop on Goal-Conditioned Reinforcement Learning, 2023	2	2023

Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.

Članki 1–20

Št. navedb na leto

Podvojene navedbe

Združene navedbe

Dodajanje soavtorjevSoavtorji

Spremljaj

Navedeno

Soavtorji