Mohammadhosein Hasanbeig

7 papers and 94 indexed citations i.

Mohammadhosein Hasanbeig has authored 7 papers that have received a total of 94 indexed citations. This includes 4 papers in Artificial Intelligence, 4 papers in Computational Theory and Mathematics and 2 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (4 papers), Reinforcement Learning in Robotics (3 papers) and Model-Driven Software Engineering Techniques (1 paper). Mohammadhosein Hasanbeig is often cited by papers focused on Formal Methods in Verification (4 papers), Reinforcement Learning in Robotics (3 papers) and Model-Driven Software Engineering Techniques (1 paper) and collaborates with scholars based in United Kingdom, United States and Canada. Mohammadhosein Hasanbeig's co-authors include Alessandro Abate, Daniel Kroening, Lacra Pavel, Zhen Kan and Shaoping Xiao and has published in prestigious journals such as IEEE Robotics and Automation Letters and IFAC-PapersOnLine.