Search

Ameesh Shah

Ameesh Shah

Home
Publications
Contact

Light Dark Automatic

Demonstration-Informed Specification Search

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

November, 2022

PDF

Type

Ameesh Shah

PhD Student

© 2022 Me. This work is licensed under CC BY NC ND 4.0

Published with Wowchemy — the free, open source website builder that empowers creators.

Cite