Mohammed Alshiekh

According to our database, Mohammed Alshiekh authored at least 6 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Synthesis of Provably Correct Autonomy Protocols for Shared Control.

Murat Cubuktepe, Nils Jansen, Mohammed Alshiekh, Ufuk Topcu

IEEE Trans. Autom. Control., 2021

2019

Salty-A Domain Specific Language for GR(1) Specifications and Designs.

Trevor Elliott, Mohammed Alshiekh, Laura R. Humphrey, Lee Pike, Ufuk Topcu

Proceedings of the International Conference on Robotics and Automation, 2019

2018

Expedited Learning in MDPs with Side Information.

Melkior Ornik, Jie Fu, Niklas T. Lauffer, W. K. Perera, Mohammed Alshiekh, Masahiro Ono, Ufuk Topcu

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Safe Reinforcement Learning via Shielding.

Mohammed Alshiekh, Roderick Bloem, Rüdiger Ehlers, Bettina Könighofer, Scott Niekum, Ufuk Topcu

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Shield synthesis.

Bettina Könighofer, Mohammed Alshiekh, Roderick Bloem, Laura R. Humphrey, Robert Könighofer, Ufuk Topcu, Chao Wang

Formal Methods Syst. Des., 2017

Classification error correction: A case study in brain-computer interfacing.

Hasan A. Poonawala, Mohammed Alshiekh, Scott Niekum, Ufuk Topcu

Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017