Ameesh Shah

20 papers A* 2A 1B 1Journal 13Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Automata-Conditioned Cooperative Multi-Agent Reinforcement Learning.
CoRR
Beyazit Yalcinkaya, Marcell Vazquez-Chanlatte, Ameesh Shah, Hanna Krasowski, Sanjit A. Seshia
2025 J jnl
LTL-Constrained Policy Optimization with Cycle Experience Replay.
Trans. Mach. Learn. Res.
Ameesh Shah, Cameron Voloshin, Chenxi Yang, Abhinav Verma, Swarat Chaudhuri, Sanjit A. Seshia
2025 J jnl
Learning Affordances at Inference-Time for Vision-Language-Action Models.
CoRR
Ameesh Shah, William Chen, Adwait Godbole, Federico Mora, Sanjit A. Seshia, Sergey Levine
2025 — conf
Learning Formal Specifications from Membership and Preference Queries.
NeuS
Ameesh Shah, Marcell Vazquez-Chanlatte, Sebastian Junges, Sanjit A. Seshia
2025 A conf
Learning Symbolic Task Decompositions for Multi-Agent Teams.
AAMAS
Ameesh Shah, Niklas Lauffer, Thomas Chen, Nikhil Pitta, Sanjit A. Seshia
2025 J jnl
Learning Symbolic Task Decompositions for Multi-Agent Teams.
CoRR
Ameesh Shah, Niklas Lauffer, Thomas Chen, Nikhil Pitta, Sanjit A. Seshia
2025 J jnl
Robust and Diverse Multi-Agent Learning via Rational Policy Gradient.
CoRR
Niklas Lauffer, Ameesh Shah, Micah Carroll, Sanjit A. Seshia, Stuart Russell, Michael Dennis
2024 J jnl
Deep Policy Optimization with Temporal Logic Constraints.
CoRR
Ameesh Shah, Cameron Voloshin, Chenxi Yang, Abhinav Verma, Swarat Chaudhuri, 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
2023 J jnl
Specification-Guided Data Aggregation for Semantically Aware Imitation Learning.
CoRR
Ameesh Shah, Jonathan A. DeCastro, John Gideon, Beyazit Yalcinkaya, Guy Rosman, Sanjit A. Seshia
2023 A* conf
Who Needs to Know? Minimal Knowledge for Optimal Coordination.
ICML
Niklas Lauffer, Ameesh Shah, Micah Carroll, Michael D. Dennis, Stuart Russell
2023 J jnl
Who Needs to Know? Minimal Knowledge for Optimal Coordination.
CoRR
Niklas Lauffer, Ameesh Shah, Micah Carroll, Michael Dennis, Stuart Russell
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 — 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
2021 J jnl
Demonstration Informed Specification Search.
CoRR
Marcell Vazquez-Chanlatte, Ameesh Shah, Gil Lederman, Sanjit A. Seshia
2020 A* conf
Learning Differentiable Programs with Admissible Neural Heuristics.
NeurIPS
Ameesh Shah, Eric Zhan, Jennifer J. Sun, Abhinav Verma, Yisong Yue, Swarat Chaudhuri
2020 J jnl
Learning Differentiable Programs with Admissible Neural Heuristics.
CoRR
Ameesh Shah, Eric Zhan, Jennifer J. Sun, Abhinav Verma, Yisong Yue, Swarat Chaudhuri
2019 — conf
Representing Formal Languages: A Comparison Between Finite Automata and Recurrent Neural Networks.
ICLR (Poster)
Joshua J. Michalenko, Ameesh Shah, Abhinav Verma, Richard G. Baraniuk, Swarat Chaudhuri, Ankit B. Patel
2019 J jnl
Representing Formal Languages: A Comparison Between Finite Automata and Recurrent Neural Networks.
CoRR
Joshua J. Michalenko, Ameesh Shah, Abhinav Verma, Richard G. Baraniuk, Swarat Chaudhuri, Ankit B. Patel