Ameesh Shah

According to our database1, Ameesh Shah authored at least 8 papers between 2019 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Learning Formal Specifications from Membership and Preference Queries.
CoRR, 2023

Specification-Guided Data Aggregation for Semantically Aware Imitation Learning.
CoRR, 2023

Who Needs to Know? Minimal Knowledge for Optimal Coordination.
Proceedings of the International Conference on Machine Learning, 2023

2022
Modeling and Influencing Human Attentiveness in Autonomy-to-Human Perception Hand-offs.
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022

Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations.
Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2021
Demonstration Informed Specification Search.
CoRR, 2021

2020
Learning Differentiable Programs with Admissible Neural Heuristics.
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.
Proceedings of the 7th International Conference on Learning Representations, 2019


  Loading...