Ameesh Shah

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 13

Top Topics

Formal Languages

Recurrent Neural Networks

Human Perception

Finite Automata

Top Venues

Publications

Ameesh Shah, Cameron Voloshin, Chenxi Yang, Abhinav Verma, Swarat Chaudhuri, Sanjit A. Seshia
Deep Policy Optimization with Temporal Logic Constraints. CoRR (2024)
Niklas Lauffer, Ameesh Shah, Micah Carroll, Michael D. Dennis, Stuart Russell
Who Needs to Know? Minimal Knowledge for Optimal Coordination. ICML (2023)
Ameesh Shah, Jonathan A. DeCastro, John Gideon, Beyazit Yalcinkaya, Guy Rosman, Sanjit A. Seshia
Specification-Guided Data Aggregation for Semantically Aware Imitation Learning. CoRR (2023)
Ameesh Shah, Marcell Vazquez-Chanlatte, Sebastian Junges, Sanjit A. Seshia
Learning Formal Specifications from Membership and Preference Queries. CoRR (2023)
Niklas Lauffer, Ameesh Shah, Micah Carroll, Michael Dennis, Stuart Russell
Who Needs to Know? Minimal Knowledge for Optimal Coordination. CoRR (2023)
Niklas Lauffer, Beyazit Yalcinkaya, Marcell Vazquez-Chanlatte, Ameesh Shah, Sanjit A. Seshia
Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations. FMCAD (2022)
Niklas Lauffer, Beyazit Yalcinkaya, Marcell Vazquez-Chanlatte, Ameesh Shah, Sanjit A. Seshia
Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations. CoRR (2022)
Yash Vardhan Pant, Balasaravanan Thoravi Kumaravel, Ameesh Shah, Erin Kraemer, Marcell Vazquez-Chanlatte, Kshitij Kulkarni, Bjoern Hartmann, Sanjit A. Seshia
Modeling and Influencing Human Attentiveness in Autonomy-to-Human Perception Hand-offs. ITSC (2022)
Marcell Vazquez-Chanlatte, Ameesh Shah, Gil Lederman, Sanjit A. Seshia
Demonstration Informed Specification Search. CoRR (2021)
Ameesh Shah, Eric Zhan, Jennifer J. Sun, Abhinav Verma, Yisong Yue, Swarat Chaudhuri
Learning Differentiable Programs with Admissible Neural Heuristics. CoRR (2020)
Ameesh Shah, Eric Zhan, Jennifer J. Sun, Abhinav Verma, Yisong Yue, Swarat Chaudhuri
Learning Differentiable Programs with Admissible Neural Heuristics. NeurIPS (2020)
Joshua J. Michalenko, Ameesh Shah, Abhinav Verma, Richard G. Baraniuk, Swarat Chaudhuri, Ankit B. Patel
Representing Formal Languages: A Comparison Between Finite Automata and Recurrent Neural Networks. ICLR (Poster) (2019)
Joshua J. Michalenko, Ameesh Shah, Abhinav Verma, Richard G. Baraniuk, Swarat Chaudhuri, Ankit B. Patel
Representing Formal Languages: A Comparison Between Finite Automata and Recurrent Neural Networks. CoRR (2019)