Ameesh Shah
University of California, Berkeley
H-index: 4
North America-United States
Top articles of Ameesh Shah
Deep Policy Optimization with Temporal Logic Constraints
arXiv preprint arXiv:2404.11578
2024/4/17
Learning Formal Specifications from Membership and Preference Queries
arXiv preprint arXiv:2307.10434
2023/7/19
Ameesh Shah
H-Index: 2
Sebastian Junges
H-Index: 17
Who needs to know? minimal knowledge for optimal coordination
2023/7/3
Specification-Guided Data Aggregation for Semantically Aware Imitation Learning
arXiv preprint arXiv:2303.17010
2023/3/29
Learning deterministic finite automata decompositions from examples and demonstrations
Conference on Formal MEthods in Computer-Aided Design–FMCAD 2022
2022/10/12
Beyazit Yalcinkaya
H-Index: 1
Ameesh Shah
H-Index: 2
Modeling and influencing human attentiveness in autonomy-to-human perception hand-offs
2022/10/8
Demonstration informed specification search
CoRR, vol. abs/2112.10807
2021/12
Ameesh Shah
H-Index: 2
Gil Lederman
H-Index: 4
Learning Differentiable Programs with Admissible Neural Heuristics
2020
Differentiable Program Learning with an Admissible Neural Heuristic
2020
Ameesh Shah
H-Index: 2