Learning Auditable Features from Signals Using Unsupervised Temporal Projection. - Marcell V.-Chanlatte; Jyotirmoy V. Deshmukh; Xiaoqing Jin; Sanjit A. Seshia (CoRR, 2016)

Logical Clustering and Learning for Time-Series Data. - Marcell Vazquez-Chanlatte; Jyotirmoy V. Deshmukh; Xiaoqing Jin; Sanjit A. Seshia (CAV (1), 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)

Specification Inference from Demonstrations. - Marcell Vazquez-Chanlatte; Susmit Jha; Ashish Tiwari 001; Sanjit A. Seshia (CoRR, 2017)

Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games. - Marcell Vazquez-Chanlatte; Shromona Ghosh; Vasumathi Raman; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (ADHS, 2018)

Formal Specification for Deep Neural Networks. - Sanjit A. Seshia; Ankush Desai; Tommaso Dreossi; Daniel J. Fremont; Shromona Ghosh; Edward Kim 005; Sumukh Shivakumar; Marcell Vazquez-Chanlatte; Xiangyu Yue 001 (ATVA, 2018)

Learning Task Specifications from Demonstrations. - Marcell Vazquez-Chanlatte; Susmit Jha; Ashish Tiwari 001; Mark K. Ho; Sanjit A. Seshia (NeurIPS, 2018)

Time-Series Learning Using Monotonic Logical Properties. - Marcell Vazquez-Chanlatte; Shromona Ghosh; Jyotirmoy V. Deshmukh; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (RV, 2018)

VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems. - Tommaso Dreossi; Daniel J. Fremont; Shromona Ghosh; Edward Kim 005; Hadi Ravanbakhsh; Marcell Vazquez-Chanlatte; Sanjit A. Seshia (CAV (1), 2019)

VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems. - Tommaso Dreossi; Daniel J. Fremont; Shromona Ghosh; Edward Kim 005; Hadi Ravanbakhsh; 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)

Learning Task Specifications from Demonstrations via the Principle of Maximum Causal Entropy. - Marcell Vazquez-Chanlatte; Sanjit A. Seshia (CoRR, 2019)

Maximum Causal Entropy Specification Inference from Demonstrations. - Marcell Vazquez-Chanlatte; Sanjit A. Seshia (CAV (2), 2020)

Interpretable classification of time-series data using efficient enumerative techniques. - Sara Mohammadinejad; Jyotirmoy V. Deshmukh; Aniruddh Gopinath Puranic; Marcell Vazquez-Chanlatte; Alexandre Donzé (HSCC, 2020)

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 (CAV (2), 2021)

Entropy-Guided Control Improvisation. - Marcell Vazquez-Chanlatte; Sebastian Junges; Daniel J. Fremont; Sanjit Seshia (Robotics: Science and Systems, 2021)

Demonstration Informed Specification Search. - Marcell Vazquez-Chanlatte; Ameesh Shah; Gil Lederman; Sanjit A. Seshia (CoRR, 2021)

Experiments for '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 (Zenodo, 2021)

Learning Monitorable Operational Design Domains for Assured Autonomy. - Hazem Torfah; Carol Xie; Sebastian Junges; Marcell Vazquez-Chanlatte; Sanjit A. Seshia (ATVA, 2022)

Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations. - Niklas Lauffer; Beyazit Yalcinkaya; Marcell Vazquez-Chanlatte; Ameesh Shah; Sanjit A. Seshia (FMCAD, 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 (ITSC, 2022)

Specifications from Demonstrations: Learning, Teaching, and Control - Marcell Vazquez-Chanlatte (2022)

Explaining the Behavior of POMDP-based Agents Through the Impact of Counterfactual Information. - Saaduddin Mahmud; Marcell Vazquez-Chanlatte; Stefan J. Witwicki; Shlomo Zilberstein (AAMAS, 2024)

Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning. - Beyazit Yalcinkaya; Niklas Lauffer; Marcell Vazquez-Chanlatte; Sanjit Seshia (NeurIPS, 2024)

L*LM: Learning Automata from Examples using Natural Language Oracles. - Marcell Vazquez-Chanlatte; Karim Elmaaroufi; Stefan J. Witwicki; Sanjit A. Seshia (CoRR, 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)

Generating Probabilistic Scenario Programs from Natural Language. - Karim Elmaaroufi; Devan Shanker; Ana Cismaru; Marcell Vazquez-Chanlatte; Alberto L. Sangiovanni-Vincentelli; Matei Zaharia; Sanjit A. Seshia (CoRR, 2024)

Diffusion-Based Failure Sampling for Cyber-Physical Systems. - Harrison Delecki; Marc R. Schlichting; Mansur M. Arief; Anthony Corso 001; Marcell Vazquez-Chanlatte; Mykel J. Kochenderfer (CoRR, 2024)

Learning Formal Specifications from Membership and Preference Queries. - Ameesh Shah; Marcell Vazquez-Chanlatte; Sebastian Junges; Sanjit A. Seshia (NeuS, 2025)

L*LM: Learning Automata from Demonstrations, Examples, and Natural Language. - Marcell Vazquez-Chanlatte; Karim Elmaaroufi; Stefan J. Witwicki; Matei Zaharia; Sanjit A. Seshia (NeuS, 2025)

Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement Learning. - Beyazit Yalcinkaya; Niklas Lauffer; Marcell Vazquez-Chanlatte; Sanjit A. Seshia (NeuS, 2025)

SD++: Enhancing Standard Definition Maps by Incorporating Road Knowledge using LLMs. - Hitvarth Diwanji; Jing-Yan Liao; Akshar Tumu; Henrik I. Christensen; Marcell Vazquez-Chanlatte; Chikao Tsuchiya (CoRR, 2025)

FALCON: Learning Force-Adaptive Humanoid Loco-Manipulation. - Yuanhang Zhang; Yifu Yuan; Prajwal Gurunath; Tairan He; Shayegan Omidshafiei; Ali-akbar Agha-mohammadi; Marcell Vazquez-Chanlatte; Liam Pedersen; Guanya Shi (CoRR, 2025)

Using Language and Road Manuals to Inform Map Reconstruction for Autonomous Driving. - Akshar Tumu; Henrik I. Christensen; Marcell Vazquez-Chanlatte; Chikao Tsuchiya; Dhaval Bhanderi (CoRR, 2025)