Marcell Vazquez-Chanlatte

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 30

Top Topics

Natural Language

Learning Automaton

Logical Properties

Top Venues

Publications

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 (2024)
Marcell Vazquez-Chanlatte, Karim Elmaaroufi, Stefan J. Witwicki, Sanjit A. Seshia
LM: Learning Automata from Examples using Natural Language Oracles. CoRR (2024)
Harrison Delecki, Marc R. Schlichting, Mansur Arief, Anthony Corso, Marcell Vazquez-Chanlatte, Mykel J. Kochenderfer
Diffusion-Based Failure Sampling for Cyber-Physical Systems. CoRR (2024)
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)
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 (2024)
Ameesh Shah, Marcell Vazquez-Chanlatte, Sebastian Junges, Sanjit A. Seshia
Learning Formal Specifications from Membership and Preference Queries. CoRR (2023)
Niklas Lauffer, Beyazit Yalcinkaya, Marcell Vazquez-Chanlatte, Ameesh Shah, Sanjit A. Seshia
Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations. FMCAD (2022)
Hazem Torfah, Carol Xie, Sebastian Junges, Marcell Vazquez-Chanlatte, Sanjit A. Seshia
Learning Monitorable Operational Design Domains for Assured Autonomy. ATVA (2022)
Niklas Lauffer, Beyazit Yalcinkaya, Marcell Vazquez-Chanlatte, Ameesh Shah, Sanjit A. Seshia
Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations. CoRR (2022)
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)
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)
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 (2021)
Marcell Vazquez-Chanlatte, Sebastian Junges, Daniel J. Fremont, Sanjit Seshia
Entropy-Guided Control Improvisation. CoRR (2021)
Marcell Vazquez-Chanlatte, Sebastian Junges, Daniel J. Fremont, Sanjit Seshia
Entropy-Guided Control Improvisation. Robotics: Science and Systems (2021)
Marcell Vazquez-Chanlatte, Ameesh Shah, Gil Lederman, Sanjit A. Seshia
Demonstration Informed Specification Search. CoRR (2021)
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)
Marcell Vazquez-Chanlatte, Sanjit A. Seshia
Maximum Causal Entropy Specification Inference from Demonstrations. CAV (2) (2020)
Marcell Vazquez-Chanlatte, Sanjit A. Seshia
Learning Task Specifications from Demonstrations via the Principle of Maximum Causal Entropy. CoRR (2019)
Marcell Vazquez-Chanlatte, Markus N. Rabe, Sanjit A. Seshia
A Model Counter's Guide to Probabilistic Systems. CoRR (2019)
Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Aniruddh Gopinath Puranic, Marcell Vazquez-Chanlatte, Alexandre Donzé
Interpretable Classification of Time-Series Data using Efficient Enumerative Techniques. CoRR (2019)
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 (2019)
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)
Marcell Vazquez-Chanlatte, Susmit Jha, Ashish Tiwari, Mark K. Ho, Sanjit A. Seshia
Learning Task Specifications from Demonstrations. NeurIPS (2018)
Marcell Vazquez-Chanlatte, Shromona Ghosh, Jyotirmoy V. Deshmukh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Time Series Learning using Monotonic Logical Properties. CoRR (2018)
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)
Marcell Vazquez-Chanlatte, Shromona Ghosh, Jyotirmoy V. Deshmukh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Time-Series Learning Using Monotonic Logical Properties. RV (2018)
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)
Marcell Vazquez-Chanlatte, Susmit Jha, Ashish Tiwari, Sanjit A. Seshia
Specification Inference from Demonstrations. CoRR (2017)
Marcell Vazquez-Chanlatte, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Sanjit A. Seshia
Logical Clustering and Learning for Time-Series Data. CAV (1) (2017)
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 (2017)