default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarcell Vazquez-Chanlatte
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c14]Saaduddin Mahmud, Marcell Vazquez-Chanlatte, Stefan J. Witwicki, Shlomo Zilberstein:
Explaining the Behavior of POMDP-based Agents Through the Impact of Counterfactual Information. AAMAS 2024: 1346-1354- [i17]Marcell Vazquez-Chanlatte, Karim Elmaaroufi, Stefan J. Witwicki, Sanjit A. Seshia:
L*LM: Learning Automata from Examples using Natural Language Oracles. CoRR abs/2402.07051 (2024) - [i16]Harrison Delecki, Marcell Vazquez-Chanlatte, Esen Yel, Kyle Hollins Wray, Tomer Arnon, Stefan J. Witwicki, Mykel J. Kochenderfer:
Entropy-regularized Point-based Value Iteration. CoRR abs/2402.09388 (2024) - [i15]Karim Elmaaroufi, Devan Shanker, Ana Cismaru, Marcell Vazquez-Chanlatte, Alberto L. Sangiovanni-Vincentelli, Matei Zaharia, Sanjit A. Seshia:
Generating Probabilistic Scenario Programs from Natural Language. CoRR abs/2405.03709 (2024) - [i14]Harrison Delecki, Marc R. Schlichting, Mansur Arief, Anthony Corso, Marcell Vazquez-Chanlatte, Mykel J. Kochenderfer:
Diffusion-Based Failure Sampling for Cyber-Physical Systems. CoRR abs/2406.14761 (2024) - 2023
- [i13]Ameesh Shah, Marcell Vazquez-Chanlatte, Sebastian Junges, Sanjit A. Seshia:
Learning Formal Specifications from Membership and Preference Queries. CoRR abs/2307.10434 (2023) - 2022
- [b1]Marcell Vazquez-Chanlatte:
Specifications from Demonstrations: Learning, Teaching, and Control. University of California, Berkeley, USA, 2022 - [c13]Hazem Torfah
, Carol Xie, Sebastian Junges, Marcell Vazquez-Chanlatte, Sanjit A. Seshia:
Learning Monitorable Operational Design Domains for Assured Autonomy. ATVA 2022: 3-22 - [c12]Niklas Lauffer, Beyazit Yalcinkaya, Marcell Vazquez-Chanlatte, Ameesh Shah, Sanjit A. Seshia:
Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations. FMCAD 2022: 1-6 - [c11]Yash Vardhan Pant, Balasaravanan Thoravi Kumaravel, Ameesh Shah, Erin Kraemer, Marcell Vazquez-Chanlatte, Kshitij Kulkarni, Bjoern Hartmann, Sanjit A. Seshia:
Modeling and Influencing Human Attentiveness in Autonomy-to-Human Perception Hand-offs. ITSC 2022: 2585-2592 - [i12]Niklas Lauffer, Beyazit Yalcinkaya, Marcell Vazquez-Chanlatte, Ameesh Shah, Sanjit A. Seshia:
Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations. CoRR abs/2205.13013 (2022) - 2021
- [c10]Steven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte, Todd D. Millstein, Sanjit A. Seshia, Guy Van den Broeck:
Model Checking Finite-Horizon Markov Chains with Probabilistic Inference. CAV (2) 2021: 577-601 - [c9]Marcell Vazquez-Chanlatte, Sebastian Junges, Daniel J. Fremont, Sanjit Seshia:
Entropy-Guided Control Improvisation. Robotics: Science and Systems 2021 - [d1]Steven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte, Todd D. Millstein, Sanjit A. Seshia, Guy Van den Broeck:
Experiments for 'Model Checking Finite-Horizon Markov Chains with Probabilistic Inference'. Zenodo, 2021
- [i11]Marcell Vazquez-Chanlatte, Sebastian Junges, Daniel J. Fremont, Sanjit Seshia:
Entropy-Guided Control Improvisation. CoRR abs/2103.05672 (2021) - [i10]Steven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte, Todd D. Millstein, Sanjit A. Seshia, Guy Van den Broeck:
Model Checking Finite-Horizon Markov Chains with Probabilistic Inference. CoRR abs/2105.12326 (2021) - [i9]Marcell Vazquez-Chanlatte, Ameesh Shah, Gil Lederman, Sanjit A. Seshia:
Demonstration Informed Specification Search. CoRR abs/2112.10807 (2021) - 2020
- [c8]Marcell Vazquez-Chanlatte, Sanjit A. Seshia:
Maximum Causal Entropy Specification Inference from Demonstrations. CAV (2) 2020: 255-278 - [c7]Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Aniruddh Gopinath Puranic, Marcell Vazquez-Chanlatte, Alexandre Donzé:
Interpretable classification of time-series data using efficient enumerative techniques. HSCC 2020: 9:1-9:10
2010 – 2019
- 2019
- [c6]Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia:
VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems. CAV (1) 2019: 432-442 - [i8]Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia:
VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems. CoRR abs/1902.04245 (2019) - [i7]Marcell Vazquez-Chanlatte, Markus N. Rabe, Sanjit A. Seshia:
A Model Counter's Guide to Probabilistic Systems. CoRR abs/1903.09354 (2019) - [i6]Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Aniruddh Gopinath Puranic, Marcell Vazquez-Chanlatte, Alexandre Donzé:
Interpretable Classification of Time-Series Data using Efficient Enumerative Techniques. CoRR abs/1907.10265 (2019) - [i5]Marcell Vazquez-Chanlatte, Sanjit A. Seshia:
Learning Task Specifications from Demonstrations via the Principle of Maximum Causal Entropy. CoRR abs/1907.11792 (2019) - 2018
- [c5]Marcell Vazquez-Chanlatte, Shromona Ghosh, Vasumathi Raman, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games. ADHS 2018: 7-12 - [c4]Sanjit A. Seshia, Ankush Desai, Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Sumukh Shivakumar, Marcell Vazquez-Chanlatte, Xiangyu Yue:
Formal Specification for Deep Neural Networks. ATVA 2018: 20-34 - [c3]Marcell Vazquez-Chanlatte, Susmit Jha, Ashish Tiwari, Mark K. Ho, Sanjit A. Seshia:
Learning Task Specifications from Demonstrations. NeurIPS 2018: 5372-5382 - [c2]Marcell Vazquez-Chanlatte, Shromona Ghosh, Jyotirmoy V. Deshmukh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Time-Series Learning Using Monotonic Logical Properties. RV 2018: 389-405 - [i4]Marcell Vazquez-Chanlatte, Shromona Ghosh, Jyotirmoy V. Deshmukh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Time Series Learning using Monotonic Logical Properties. CoRR abs/1802.08924 (2018) - 2017
- [c1]Marcell Vazquez-Chanlatte, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Sanjit A. Seshia:
Logical Clustering and Learning for Time-Series Data. CAV (1) 2017: 305-325 - [i3]Marcell Vazquez-Chanlatte, Shromona Ghosh, Vasumathi Raman, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Tunable Reactive Synthesis for Lipschitz-Bounded Systems with Temporal Logic Specifications. CoRR abs/1707.03529 (2017) - [i2]Marcell Vazquez-Chanlatte, Susmit Jha, Ashish Tiwari, Sanjit A. Seshia:
Specification Inference from Demonstrations. CoRR abs/1710.03875 (2017) - 2016
- [i1]Marcell V.-Chanlatte, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Sanjit A. Seshia:
Learning Auditable Features from Signals Using Unsupervised Temporal Projection. CoRR abs/1612.07823 (2016)
Coauthor Index
aka: Sanjit Seshia
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-16 00:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
