Safe reinforcement learning via shielding M Alshiekh, R Bloem, R Ehlers, B Könighofer, S Niekum, U Topcu Proceedings of the AAAI conference on artificial intelligence 32 (1), 2018 | 708 | 2018 |
Imperceptible electrooculography graphene sensor system for human–robot interface SK Ameri, M Kim, IA Kuang, WK Perera, M Alshiekh, H Jeong, U Topcu, ... npj 2D Materials and Applications 2 (1), 19, 2018 | 128 | 2018 |
Shield Synthesis B Könighofer, M Alshiekh, R Bloem, L Humphrey, R Könighofer, U Topcu, ... Formal Methods in System Design, 2017 | 76 | 2017 |
Salty-a domain specific language for gr (1) specifications and designs T Elliott, M Alshiekh, LR Humphrey, L Pike, U Topcu 2019 International Conference on Robotics and Automation (ICRA), 4545-4551, 2019 | 10 | 2019 |
Expedited learning in MDPs with side information M Ornik, J Fu, NT Lauffer, WK Perera, M Alshiekh, M Ono, U Topcu 2018 IEEE Conference on Decision and Control (CDC), 1941-1948, 2018 | 9 | 2018 |
Synthesis of provably correct autonomy protocols for shared control M Cubuktepe, N Jansen, M Alshiekh, U Topcu IEEE Transactions on Automatic Control 66 (7), 3251-3258, 2020 | 8 | 2020 |
Imperceptible Electrooculography Sensor System for Human–Robot Interface NL Shideh Kabiri Ameri, Myungsoo Kim, Irene Agnes Kuang, Withanage K. Perera ... npj 2D Materials and Applications, Nature.com, 2018 | | 2018 |
Shield synthesis M Alshiekh, R Bloem, L Humphrey, U Topcu, C Wang Formal methods in system design 51 (2), 2017 | | 2017 |
Classification error correction: A case study in brain-computer interfacing HA Poonawala, M Alshiekh, S Niekum, U Topcu 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2017 | | 2017 |