Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning
B. Yalcinkaya*, N. Lauffer*, M. Vazquez-Chanlatte*, S. Seshia. NeurIPS 2024.
B. Yalcinkaya*, N. Lauffer*, M. Vazquez-Chanlatte*, S. Seshia. NeurIPS 2024.
T. Chen*, N. Pitta*, A. Shah*, N. Lauffer*, S. Seshia. RSS Spec. 2024.
G. Mukobi, H. Erlebach, N. Lauffer, L. Hammond, A. Chan, J. Clifton. arXiv 2024.
N. Lauffer*, B. Yalcinkaya*, M. Vazquez-Chanlatte, S. Seshia. NeurIPS 2024.
N. Lauffer, A. Shah, M. Carroll, M. Dennis, and S. Russell. ICML 2023.
N. Lauffer, M. Ghasemi, A. Hashemi, Y. Savas, and U. Topcu. arXiv preprint 2022.
N. Lauffer*, B. Yalcinkaya*, M. Vazquez-Chanlatte, A Shah, and S. Seshia. FMCAD 2022.
C. Neary, M. Cubuktepe, N. Lauffer, X. Jin, A. Phillips, Z. Xu, D. Tong, and U. Topcu. Scientific Reports 2022.
M. Ornik, J. Fu, N. Lauffer, K. W. Perera, M. Alshiekh, M. Ono, and U. Topcu. CDC 2018.
I. Papusha, U. Topcu, S. Car, N. Lauffer. arXiv preprint 2018.
*equal authorship
More information is available on my Google Scholar profile.