Niklas Lauffer - Publications

I'm an EECS PhD student at UC Berkeley interested in reasearch at the intersection of learning, formal methods, and game theory. 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. D. Raju, N. Lauffer, U. Topcu. COCOA 2020. H. Poonawala, N. Lauffer, U. Topcu. ACC 2019. N. Lauffer, U. Topcu. ICAPS XAIP Workshop 2019. M. Ornik, J. Fu, N. Lauffer, K. W. Perera, M. Alshiekh, M. Ono, and U. Topcu. C

saved by

• Swaminathan Gurumurthy