Classification error correction: A case study in brain-computer interfacing. - Hasan A. Poonawala; Mohammed Alshiekh; Scott Niekum; Ufuk Topcu (IROS, 2017)

Shield synthesis. - Bettina Könighofer; Mohammed Alshiekh; Roderick Bloem; Laura R. Humphrey; Robert Könighofer; Ufuk Topcu; Chao Wang 001 (Formal Methods Syst. Des., 2017)

Safe Reinforcement Learning via Shielding. - Mohammed Alshiekh; Roderick Bloem; Rüdiger Ehlers; Bettina Könighofer; Scott Niekum; Ufuk Topcu (AAAI, 2018)

Expedited Learning in MDPs with Side Information. - Melkior Ornik; Jie Fu 002; Niklas T. Lauffer; W. K. Perera; Mohammed Alshiekh; Masahiro Ono; Ufuk Topcu (CDC, 2018)

Salty-A Domain Specific Language for GR(1) Specifications and Designs. - Trevor Elliott; Mohammed Alshiekh; Laura R. Humphrey; Lee Pike; Ufuk Topcu (ICRA, 2019)

Synthesis of Provably Correct Autonomy Protocols for Shared Control. - Murat Cubuktepe; Nils Jansen 001; Mohammed Alshiekh; Ufuk Topcu (IEEE Trans. Autom. Control., 2021)