2021

• • Hasanbeig, M., Jeppu, N. Y., Abate, A., Melham, T., and Kroening, D., "DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning", AAAI, 2021. [Bib ] [PDF ] [Code ]
@inproceedings{deepsynth, title={{DeepSynth}: Program Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning}, author={Hasanbeig, Mohammadhosein and Yogananda Jeppu, Natasha and Abate, Alessandro and Melham, Tom and Kroening, Daniel}, booktitle={AAAI Conference on Artificial Intelligence}, year={2021}, organization={Association for the Advancement of Artificial Intelligence} }
• • Cai, M., Hasanbeig, M., Xiao, S., Abate, A., and Kan, Z., "Modular Deep Reinforcement Learning for Continuous Motion Planning with Temporal Logic", IROS, 2021. [Bib ] [PDF ]
@inproceedings{modular_rl_iros, title={Modular Deep Reinforcement Learning for Continuous Motion Planning with Temporal Logic}, author={Cai, Mingyu and Hasanbeig, Mohammadhosein and Xiao, Shaoping and Abate, Alessandro and Kan, Zhen}, booktitle={International Conference on Intelligent Robots and Systems}, year={2021}, organization={IEEE/RSJ} }
• • Giacobbe, M., Hasanbeig, M., Kroening, D., and Wijk, H., "Shielding Atari Games with Bounded Prescience", AAMAS, 2021. [Bib ] [PDF ]
@inproceedings{bounded_shield, title={Shielding Atari Games with Bounded Prescience}, author={Giacobbe, Mirco and Hasanbeig, Mohammadhosein and Kroening, Daniel and Wijk, Hjalmar}, booktitle={Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems}, year={2021}, organization={International Foundation for Autonomous Agents and Multiagent Systems} }

2020

• • Hasanbeig, M., Kroening, D., and Abate, A., "Deep Reinforcement Learning with Temporal Logics", International Conference on Formal Modeling and Analysis of Timed Systems, 2020. [Bib ] [PDF ]
@inproceedings{hasanbeig2020deep, title={Deep Reinforcement Learning with Temporal Logics}, author={Hasanbeig, Mohammadhosein and Kroening, Daniel and Abate, Alessandro}, booktitle={International Conference on Formal Modeling and Analysis of Timed Systems}, pages={1--22}, year={2020}, organization={Springer} }
• • Hasanbeig, M., Abate, A., and Kroening, D., "Cautious Reinforcement Learning with Logical Constraints", International Conference on Autonomous Agents and Multi-agent Systems, 2020. [Bib ] [PDF ]
@inproceedings{cautiousRL, title={Cautious Reinforcement Learning with Logical Constraints}, author={Hasanbeig, Mohammadhosein and Abate, Alessandro and Kroening, Daniel}, booktitle={Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems}, pages={483--491}, year={2020}, organization={International Foundation for Autonomous Agents and Multiagent Systems} }
• • Hasanbeig, M., Kroening, D., and Abate, A., "Towards Verifiable and Safe Model-Free Reinforcement Learning", Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis (OVERLAY), 2020 [invited]. [Bib ] [PDF ]
@inproceedings{overlay, title={Towards Verifiable and Safe Model-Free Reinforcement Learning}, author={Hasanbeig, Mohammadhosein and Kroening, Daniel and Abate, Alessandro}, booktitle={Proceedings of Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis (OVERLAY)}, pages={1--10}, year={2020}, organization={Italian Association for Artificial Intelligence} }
• • Ringstrom, T.J., Hasanbeig, M., and Abate, A., "Jump Operator Planning: Goal-Conditioned Policy Ensembles and Zero-Shot Transfer", CoRR abs/2007.02527, 2020. [Bib ] [PDF ]
@article{ringstrom2020jump, title={Jump Operator Planning: Goal-Conditioned Policy Ensembles and Zero-Shot Transfer}, author={Ringstrom, Thomas J and Hasanbeig, Mohammadhosein and Abate, Alessandro}, journal={arXiv preprint arXiv:2007.02527}, year={2020} }

2019

• • Hasanbeig, M., Kantaros, Y., Abate, A., Kroening, D., Pappas, G. J., and Lee, I., "Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees", IEEE Conference on Decision and Control, 2019. [Bib ] [PDF ]
@inproceedings{plmdp, title={Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees}, author={Hasanbeig, Mohammadhosein and Kantaros, Yiannis and Abate, Alessandro and Kroening, Daniel and Pappas, George J and Lee, Insup}, booktitle={Proceedings of the 58th Conference on Decision and Control}, pages={5338--5343}, year={2019}, organization={IEEE} }
• • Lim Zun Yuan, Hasanbeig, M., Abate, A., and Kroening, D., "Modular Deep Reinforcement Learning with Temporal Logic Specifications", CoRR abs/1909.11591, 2019. [Bib ] [PDF ]
@article{deeplcrl, title={Modular Deep Reinforcement Learning with Temporal Logic Specifications}, author={Yuan, Lim Zun and Hasanbeig, Mohammadhosein and Abate, Alessandro and Kroening, Daniel}, journal={arXiv preprint arXiv:1909.11591}, year={2019} }
• • Hasanbeig, M. , Abate, A., and Kroening, D., "Certified Reinforcement Learning with Logic Guidance", CoRR abs/1902.00778, 2019. [Bib ] [PDF ]
@article{lcrl_j, title={Certified Reinforcement Learning with Logic Guidance}, author={Hasanbeig, Mohammadhosein and Abate, Alessandro and Kroening, Daniel}, journal={arXiv preprint arXiv:1902.00778}, year={2019} }
• • Hasanbeig, M. , Abate, A., and Kroening, D., "Logically-Constrained Neural Fitted Q-Iteration", International Conference on Autonomous Agents and Multi-agent Systems, 2019. [Bib ] [PDF ]
@inproceedings{lcnfq, title={Logically-Constrained Neural Fitted {Q}-Iteration}, author={Hasanbeig, Mohammadhosein and Abate, Alessandro and Kroening, Daniel}, booktitle={Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems}, pages={2012--2014}, year={2019}, organization={International Foundation for Autonomous Agents and Multiagent Systems} }

2018

• • Hasanbeig, M., and Pavel, L., "From Game-theoretic Multi-agent Log Linear Learning to Reinforcement Learning ", Journal of Autonomous Agents and Multi-Agent Systems, 2018. [under review] [Bib ] [PDF ]
@article{log_linear_learning, title={From Game-theoretic Multi-agent Log Linear Learning to Reinforcement Learning}, author={Hasanbeig, Mohammadhosein and Pavel, Lacra}, journal={arXiv preprint arXiv:1802.02277}, year={2018} }
• • Hasanbeig, M. , Abate, A., and Kroening, D., "Logically-Constrained Reinforcement Learning", CoRR abs/1801.08099, 2018. [Bib ] [PDF ]
@article{lcrl, title={Logically-Constrained Reinforcement Learning}, author={Hasanbeig, Mohammadhosein and Abate, Alessandro and Kroening, Daniel}, journal={arXiv preprint arXiv:1801.08099}, year={2018} }

2017

• • Hasanbeig, M., and Pavel, L., "On Synchronous Binary Log-linear Learning and Second Order Q-learning", International Federation of Automatic Control, 2017. [Bib ] [PDF ]
@article{binary_log_learning, title={On Synchronous Binary Log-Linear Learning and Second Order {Q}-learning}, author={Hasanbeig, Mohammadhosein and Pavel, Lacra}, journal={IFAC}, volume={50}, number={1}, pages={8987--8992}, year={2017}, publisher={Elsevier} }
• • Hasanbeig, M., and Pavel, L., "Distributed Coverage Control by Robot Networks in Unknown Environments Using a Modified EM Algorithm", International Journal of Computer, Electrical, Automation, Control and Information Engineering, 2017. [Bib ] [PDF ]
@article{icml_pr, title={Distributed Coverage Control by Robot Networks in Unknown Environments using a Modified {EM} Algorithm}, author={Hasanbeig, Mohammadhosein and Pavel, Lacra}, journal={International Journal of Computer, Electrical, Automation, Control and Information Engineering}, volume={11}, number={7}, pages={805--813}, year={2017} }

2016

• • Hasanbeig, M. "Multi-agent Learning in Coverage Control Games", MSc Thesis, 2016. [Bib ] [PDF ]
@phdthesis{msc_thesis, title={Multi-agent Learning in Coverage Control Games}, author={Hasanbeig, Mohammadhosein}, year={2016} }