Mohammadhosein Hasanbeig

1. Logically-Constrained Reinforcement Learning
   2018/01/24 by Mohammadhosein Hasanbeig, Alessandro Abate, Hasanbeig, Mohammadhosein +3 · 10 citations
   Computer Science · Engineering · #Reinforcement Learning in Robotics #Formal Methods in Verification #Advanced Control Systems Optimization
2. Reinforcement Learning for Temporal Logic Control Synthesis with\n Probabilistic Satisfaction Guarantees
   2019/09/11 by Mohammadhosein Hasanbeig, Yiannis Kantaros, Hasanbeig, Mohammadhosein +9 · 8 citations
   Computer Science · #Formal Methods in Verification #Advanced Software Engineering Methodologies