Marcell Vazquez-Chanlatte
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
5
Active years
2017–2025
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CoDIT | Entropy-regularized Point-based Value Iteration. | Harrison Delecki, Marcell Vazquez-Chanlatte, Esen Yel, Kyle Hollins Wray, Tomer Arnon, Stefan J. Witwicki, Mykel J. Kochenderfer |
| 2022 | ATVA | Learning Monitorable Operational Design Domains for Assured Autonomy. | Hazem Torfah, Carol Xie, Sebastian Junges, Marcell Vazquez-Chanlatte, Sanjit A. Seshia |
| 2022 | FMCAD | Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations. | Niklas Lauffer, Beyazit Yalcinkaya, Marcell Vazquez-Chanlatte, Ameesh Shah, Sanjit A. Seshia |
| 2021 | CAV | Model Checking Finite-Horizon Markov Chains with Probabilistic Inference. | Steven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte, Todd D. Millstein, Sanjit A. Seshia, Guy Van den Broeck |
| 2020 | CAV | Maximum Causal Entropy Specification Inference from Demonstrations. | Marcell Vazquez-Chanlatte, Sanjit A. Seshia |
| 2019 | CAV | VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems. | Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia |
| 2018 | ATVA | Formal Specification for Deep Neural Networks. | Sanjit A. Seshia, Ankush Desai, Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Sumukh Shivakumar, Marcell Vazquez-Chanlatte, Xiangyu Yue |
| 2018 | RV | Time-Series Learning Using Monotonic Logical Properties. | Marcell Vazquez-Chanlatte, Shromona Ghosh, Jyotirmoy V. Deshmukh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
| 2017 | CAV | Logical Clustering and Learning for Time-Series Data. | Marcell Vazquez-Chanlatte, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Sanjit A. Seshia |