Ameesh Shah

According to our database, Ameesh Shah authored at least 11 papers between 2019 and 2025.

Collaborative distances:

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

2025

LTL-Constrained Policy Optimization with Cycle Experience Replay.

Ameesh Shah, Cameron Voloshin, Chenxi Yang, Abhinav Verma, Swarat Chaudhuri, Sanjit A. Seshia

Trans. Mach. Learn. Res., 2025

Learning Formal Specifications from Membership and Preference Queries.

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

Proceedings of the International Conference on Neuro-symbolic Systems, 2025

Learning Symbolic Task Decompositions for Multi-Agent Teams.

Ameesh Shah, Niklas Lauffer, Thomas Chen, Nikhil Pitta, Sanjit A. Seshia

Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, 2025

2024

Deep Policy Optimization with Temporal Logic Constraints.

Ameesh Shah, Cameron Voloshin, Chenxi Yang, Abhinav Verma, Swarat Chaudhuri, Sanjit A. Seshia

CoRR, 2024

2023

Specification-Guided Data Aggregation for Semantically Aware Imitation Learning.

Ameesh Shah, Jonathan A. DeCastro, John Gideon, Beyazit Yalcinkaya, Guy Rosman, Sanjit A. Seshia

CoRR, 2023

Who Needs to Know? Minimal Knowledge for Optimal Coordination.

Niklas Lauffer, Ameesh Shah, Micah Carroll, Michael D. Dennis, Stuart Russell

Proceedings of the International Conference on Machine Learning, 2023

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

2021

Demonstration Informed Specification Search.

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

CoRR, 2021

2020

Learning Differentiable Programs with Admissible Neural Heuristics.

Ameesh Shah, Eric Zhan, Jennifer J. Sun, Abhinav Verma, Yisong Yue, Swarat Chaudhuri

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

2019

Representing Formal Languages: A Comparison Between Finite Automata and Recurrent Neural Networks.

Joshua J. Michalenko, Ameesh Shah, Abhinav Verma, Richard G. Baraniuk, Swarat Chaudhuri, Ankit B. Patel

Proceedings of the 7th International Conference on Learning Representations, 2019