Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Mohammadhosein Hasanbeig

Modular Deep Reinforcement Learning for Continuous Motion Planning with Temporal Logic


Feb 24, 2021
Mingyu Cai, Mohammadhosein Hasanbeig, Shaoping Xiao, Alessandro Abate, Zhen Kan

* arXiv admin note: text overlap with arXiv:2010.06797 

  Access Paper or Ask Questions

Shielding Atari Games with Bounded Prescience


Jan 22, 2021
Mirco Giacobbe, Mohammadhosein Hasanbeig, Daniel Kroening, Hjalmar Wijk

* To appear at AAMAS 2021 

  Access Paper or Ask Questions

Jump Operator Planning: Goal-Conditioned Policy Ensembles and Zero-Shot Transfer


Jul 06, 2020
Thomas J. Ringstrom, Mohammadhosein Hasanbeig, Alessandro Abate


  Access Paper or Ask Questions

Cautious Reinforcement Learning with Logical Constraints


Mar 21, 2020
Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening

* Accepted to AAMAS 2020. arXiv admin note: text overlap with arXiv:1902.00778 

  Access Paper or Ask Questions

DeepSynth: Program Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning


Nov 22, 2019
Mohammadhosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening


  Access Paper or Ask Questions

Modular Deep Reinforcement Learning with Temporal Logic Specifications


Sep 23, 2019
Lim Zun Yuan, Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening

* arXiv admin note: text overlap with arXiv:1902.00778 

  Access Paper or Ask Questions

Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees


Sep 11, 2019
Mohammadhosein Hasanbeig, Yiannis Kantaros, Alessandro Abate, Daniel Kroening, George J. Pappas, Insup Lee


  Access Paper or Ask Questions

Certified Reinforcement Learning with Logic Guidance


Feb 02, 2019
Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening

* arXiv admin note: text overlap with arXiv:1809.07823 

  Access Paper or Ask Questions

Logically-Constrained Reinforcement Learning


Oct 22, 2018
Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening


  Access Paper or Ask Questions

Logically-Constrained Neural Fitted Q-Iteration


Sep 20, 2018
Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening


  Access Paper or Ask Questions

From Game-theoretic Multi-agent Log Linear Learning to Reinforcement Learning


Sep 18, 2018
Mohammadhosein Hasanbeig, Lacra Pavel


  Access Paper or Ask Questions