Marcell Vazquez-Chanlatte

According to our database, Marcell Vazquez-Chanlatte authored at least 24 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Entropy-regularized Point-based Value Iteration.

Harrison Delecki, Marcell Vazquez-Chanlatte, Esen Yel, Kyle Hollins Wray, Tomer Arnon, Stefan J. Witwicki, Mykel J. Kochenderfer

CoRR, 2024

L^*LM: Learning Automata from Examples using Natural Language Oracles.

Marcell Vazquez-Chanlatte, Karim Elmaaroufi, Stefan J. Witwicki, Sanjit A. Seshia

CoRR, 2024

2023

Learning Formal Specifications from Membership and Preference Queries.

Ameesh Shah, Marcell Vazquez-Chanlatte, Sebastian Junges, Sanjit A. Seshia

CoRR, 2023

2022

Specifications from Demonstrations: Learning, Teaching, and Control

Marcell Vazquez-Chanlatte

PhD thesis, 2022

Modeling and Influencing Human Attentiveness in Autonomy-to-Human Perception Hand-offs.

Yash Vardhan Pant, Balasaravanan Thoravi Kumaravel, Ameesh Shah, Erin Kraemer, Marcell Vazquez-Chanlatte, Kshitij Kulkarni, Bjoern Hartmann, Sanjit A. Seshia

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022

Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations.

Niklas Lauffer, Beyazit Yalcinkaya, Marcell Vazquez-Chanlatte, Ameesh Shah, Sanjit A. Seshia

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

Learning Monitorable Operational Design Domains for Assured Autonomy.

Hazem Torfah, Carol Xie, Sebastian Junges, Marcell Vazquez-Chanlatte, Sanjit A. Seshia

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Demonstration Informed Specification Search.

Marcell Vazquez-Chanlatte, Ameesh Shah, Gil Lederman, Sanjit A. Seshia

CoRR, 2021

Entropy-Guided Control Improvisation.

Marcell Vazquez-Chanlatte, Sebastian Junges, Daniel J. Fremont, Sanjit Seshia

Proceedings of the Robotics: Science and Systems XVII, Virtual Event, July 12-16, 2021., 2021

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

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Interpretable classification of time-series data using efficient enumerative techniques.

Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Aniruddh Gopinath Puranic, Marcell Vazquez-Chanlatte, Alexandre Donzé

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

Maximum Causal Entropy Specification Inference from Demonstrations.

Marcell Vazquez-Chanlatte, Sanjit A. Seshia

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Learning Task Specifications from Demonstrations via the Principle of Maximum Causal Entropy.

Marcell Vazquez-Chanlatte, Sanjit A. Seshia

CoRR, 2019

A Model Counter's Guide to Probabilistic Systems.

Marcell Vazquez-Chanlatte, Markus N. Rabe, Sanjit A. Seshia

CoRR, 2019

VERIFAI: A Toolkit for the 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

CoRR, 2019

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

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Time-Series Learning Using Monotonic Logical Properties.

Marcell Vazquez-Chanlatte, Shromona Ghosh, Jyotirmoy V. Deshmukh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

Proceedings of the Runtime Verification - 18th International Conference, 2018

Learning Task Specifications from Demonstrations.

Marcell Vazquez-Chanlatte, Susmit Jha, Ashish Tiwari, Mark K. Ho, Sanjit A. Seshia

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

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

Proceedings of the Automated Technology for Verification and Analysis, 2018

Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games.

Marcell Vazquez-Chanlatte, Shromona Ghosh, Vasumathi Raman, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2017

Specification Inference from Demonstrations.

Marcell Vazquez-Chanlatte, Susmit Jha, Ashish Tiwari, Sanjit A. Seshia

CoRR, 2017

Tunable Reactive Synthesis for Lipschitz-Bounded Systems with Temporal Logic Specifications.

Marcell Vazquez-Chanlatte, Shromona Ghosh, Vasumathi Raman, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

CoRR, 2017

Logical Clustering and Learning for Time-Series Data.

Marcell Vazquez-Chanlatte, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Sanjit A. Seshia

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Learning Auditable Features from Signals Using Unsupervised Temporal Projection.

Marcell V.-Chanlatte, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Sanjit A. Seshia

CoRR, 2016