Statistics
Publications
4
Citations
863
H-Index
4
Active since
2017
Affiliations
Mohammed Alshiekh is an author at The University of Texas at Austin specializing in computer science, temporal logic specification, and artificial intelligence.
Publications per year
2017–2018
4
4
Safe Reinforcement Learning via Shielding
Mohammed Alshiekh, Roderick Bloem, Rüdiger Ehlers et al. · 2018 · 620 citations
Bettina Könighofer, Mohammed Alshiekh, Roderick Bloem et al. · Formal Methods in System Design · 2017 · 52 citations · Full text
1–4 of 4