Marcell Vazquez-Chanlatte

43 papers A* 2A 1B 4C 1Journal 23Unranked 11

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Backward Monte Carlo Tree Search: Charting Unsafe Regions in the Belief-Space. J. Artif. Intell. Res. Anil Yildiz, Esen Yel, Marcell Vazquez-Chanlatte, Kyle Hollins Wray, Mykel J. Kochenderfer, Stefan J. Witwicki
2025	J	`jnl`	Automata-Conditioned Cooperative Multi-Agent Reinforcement Learning. CoRR Beyazit Yalcinkaya, Marcell Vazquez-Chanlatte, Ameesh Shah, Hanna Krasowski, Sanjit A. Seshia
2025	C	`conf`	Entropy-regularized Point-based Value Iteration. CoDIT Harrison Delecki, Marcell Vazquez-Chanlatte, Esen Yel, Kyle Hollins Wray, Tomer Arnon, Stefan J. Witwicki, Mykel J. Kochenderfer
2025	J	`jnl`	FALCON: Learning Force-Adaptive Humanoid Loco-Manipulation. CoRR Yuanhang Zhang, Yifu Yuan, Prajwal Gurunath, Tairan He, Shayegan Omidshafiei, Ali-Akbar Agha-Mohammadi, Marcell Vazquez-Chanlatte, Liam Pedersen, Guanya Shi
2025	—	`conf`	L*LM: Learning Automata from Demonstrations, Examples, and Natural Language. NeuS Marcell Vazquez-Chanlatte, Karim Elmaaroufi, Stefan J. Witwicki, Matei Zaharia, Sanjit A. Seshia
2025	—	`conf`	Learning Formal Specifications from Membership and Preference Queries. NeuS Ameesh Shah, Marcell Vazquez-Chanlatte, Sebastian Junges, Sanjit A. Seshia
2025	—	`conf`	Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement Learning. NeuS Beyazit Yalcinkaya, Niklas Lauffer, Marcell Vazquez-Chanlatte, Sanjit A. Seshia
2025	J	`jnl`	Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement Learning. CoRR Beyazit Yalcinkaya, Niklas Lauffer, Marcell Vazquez-Chanlatte, Sanjit A. Seshia
2025	J	`jnl`	SD++: Enhancing Standard Definition Maps by Incorporating Road Knowledge using LLMs. CoRR Hitvarth Diwanji, Jing-Yan Liao, Akshar Tumu, Henrik I. Christensen, Marcell Vazquez-Chanlatte, Chikao Tsuchiya
2025	J	`jnl`	Using Language and Road Manuals to Inform Map Reconstruction for Autonomous Driving. CoRR Akshar Tumu, Henrik I. Christensen, Marcell Vazquez-Chanlatte, Chikao Tsuchiya, Dhaval Bhanderi
2024	A*	`conf`	Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning. NeurIPS Beyazit Yalcinkaya, Niklas Lauffer, Marcell Vazquez-Chanlatte, Sanjit A. Seshia
2024	J	`jnl`	Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning. CoRR Beyazit Yalcinkaya, Niklas Lauffer, Marcell Vazquez-Chanlatte, Sanjit A. Seshia
2024	J	`jnl`	Diffusion-Based Failure Sampling for Cyber-Physical Systems. CoRR Harrison Delecki, Marc R. Schlichting, Mansur M. Arief, Anthony Corso, Marcell Vazquez-Chanlatte, Mykel J. Kochenderfer
2024	J	`jnl`	Entropy-regularized Point-based Value Iteration. CoRR Harrison Delecki, Marcell Vazquez-Chanlatte, Esen Yel, Kyle Hollins Wray, Tomer Arnon, Stefan J. Witwicki, Mykel J. Kochenderfer
2024	A	`conf`	Explaining the Behavior of POMDP-based Agents Through the Impact of Counterfactual Information. AAMAS Saaduddin Mahmud, Marcell Vazquez-Chanlatte, Stefan J. Witwicki, Shlomo Zilberstein
2024	J	`jnl`	Generating Probabilistic Scenario Programs from Natural Language. CoRR Karim Elmaaroufi, Devan Shanker, Ana Cismaru, Marcell Vazquez-Chanlatte, Alberto L. Sangiovanni-Vincentelli, Matei Zaharia, Sanjit A. Seshia
2024	J	`jnl`	L CoRR Marcell Vazquez-Chanlatte, Karim Elmaaroufi, Stefan J. Witwicki, Sanjit A. Seshia
2023	J	`jnl`	Learning Formal Specifications from Membership and Preference Queries. CoRR Ameesh Shah, Marcell Vazquez-Chanlatte, Sebastian Junges, Sanjit A. Seshia
2022	B	`conf`	Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations. FMCAD Niklas Lauffer, Beyazit Yalcinkaya, Marcell Vazquez-Chanlatte, Ameesh Shah, Sanjit A. Seshia
2022	J	`jnl`	Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations. CoRR Niklas Lauffer, Beyazit Yalcinkaya, Marcell Vazquez-Chanlatte, Ameesh Shah, Sanjit A. Seshia
2022	B	`conf`	Learning Monitorable Operational Design Domains for Assured Autonomy. ATVA Hazem Torfah, Carol Xie, Sebastian Junges, Marcell Vazquez-Chanlatte, Sanjit A. Seshia
2022	—	`conf`	Modeling and Influencing Human Attentiveness in Autonomy-to-Human Perception Hand-offs. ITSC Yash Vardhan Pant, Balasaravanan Thoravi Kumaravel, Ameesh Shah, Erin Kraemer, Marcell Vazquez-Chanlatte, Kshitij Kulkarni, Bjoern Hartmann, Sanjit A. Seshia
2022	—	`—`	Specifications from Demonstrations: Learning, Teaching, and Control Marcell Vazquez-Chanlatte
2021	J	`jnl`	Demonstration Informed Specification Search. CoRR Marcell Vazquez-Chanlatte, Ameesh Shah, Gil Lederman, Sanjit A. Seshia
2021	—	`conf`	Entropy-Guided Control Improvisation. Robotics: Science and Systems Marcell Vazquez-Chanlatte, Sebastian Junges, Daniel J. Fremont, Sanjit A. Seshia
2021	J	`jnl`	Entropy-Guided Control Improvisation. CoRR Marcell Vazquez-Chanlatte, Sebastian Junges, Daniel J. Fremont, Sanjit A. Seshia
2021	—	`conf`	Model Checking Finite-Horizon Markov Chains with Probabilistic Inference. CAV (2) Steven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte, Todd D. Millstein, Sanjit A. Seshia, Guy Van den Broeck
2021	J	`jnl`	Model Checking Finite-Horizon Markov Chains with Probabilistic Inference. CoRR Steven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte, Todd D. Millstein, Sanjit A. Seshia, Guy Van den Broeck
2020	—	`conf`	Interpretable classification of time-series data using efficient enumerative techniques. HSCC Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Aniruddh Gopinath Puranic, Marcell Vazquez-Chanlatte, Alexandre Donzé
2020	—	`conf`	Maximum Causal Entropy Specification Inference from Demonstrations. CAV (2) Marcell Vazquez-Chanlatte, Sanjit A. Seshia
2019	J	`jnl`	A Model Counter's Guide to Probabilistic Systems. CoRR Marcell Vazquez-Chanlatte, Markus N. Rabe, Sanjit A. Seshia
2019	J	`jnl`	Interpretable Classification of Time-Series Data using Efficient Enumerative Techniques. CoRR Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Aniruddh Gopinath Puranic, Marcell Vazquez-Chanlatte, Alexandre Donzé
2019	J	`jnl`	Learning Task Specifications from Demonstrations via the Principle of Maximum Causal Entropy. CoRR Marcell Vazquez-Chanlatte, Sanjit A. Seshia
2019	J	`jnl`	VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems. CoRR Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia
2019	—	`conf`	VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems. CAV (1) Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia
2018	B	`conf`	Formal Specification for Deep Neural Networks. ATVA Sanjit A. Seshia, Ankush Desai, Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Sumukh Shivakumar, Marcell Vazquez-Chanlatte, Xiangyu Yue
2018	—	`conf`	Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games. ADHS Marcell Vazquez-Chanlatte, Shromona Ghosh, Vasumathi Raman, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2018	A*	`conf`	Learning Task Specifications from Demonstrations. NeurIPS Marcell Vazquez-Chanlatte, Susmit Jha, Ashish Tiwari, Mark K. Ho, Sanjit A. Seshia
2018	J	`jnl`	Time Series Learning using Monotonic Logical Properties. CoRR Marcell Vazquez-Chanlatte, Shromona Ghosh, Jyotirmoy V. Deshmukh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2018	B	`conf`	Time-Series Learning Using Monotonic Logical Properties. RV Marcell Vazquez-Chanlatte, Shromona Ghosh, Jyotirmoy V. Deshmukh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2017	—	`conf`	Logical Clustering and Learning for Time-Series Data. CAV (1) Marcell Vazquez-Chanlatte, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Sanjit A. Seshia
2017	J	`jnl`	Specification Inference from Demonstrations. CoRR Marcell Vazquez-Chanlatte, Susmit Jha, Ashish Tiwari, Sanjit A. Seshia
2017	J	`jnl`	Tunable Reactive Synthesis for Lipschitz-Bounded Systems with Temporal Logic Specifications. CoRR Marcell Vazquez-Chanlatte, Shromona Ghosh, Vasumathi Raman, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia