Logically-Correct Reinforcement Learning. - Mohammadhosein Hasanbeig; Alessandro Abate; Daniel Kroening (CoRR, 2018)

From Game-theoretic Multi-agent Log Linear Learning to Reinforcement Learning. - Mohammadhosein Hasanbeig; Lacra Pavel (CoRR, 2018)

Towards Verifiable and Safe Model-Free Reinforcement Learning. - Mohammadhosein Hasanbeig; Daniel Kroening; Alessandro Abate (OVERLAY@AI*IA, 2019)

Logically-Constrained Neural Fitted Q-iteration. - Mohammadhosein Hasanbeig; Alessandro Abate; Daniel Kroening (AAMAS, 2019)

Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees. - Mohammadhosein Hasanbeig; Yiannis Kantaros; Alessandro Abate; Daniel Kroening; George J. Pappas; Insup Lee 001 (CDC, 2019)

Certified Reinforcement Learning with Logic Guidance. - Mohammadhosein Hasanbeig; Alessandro Abate; Daniel Kroening (CoRR, 2019)

Modular Deep Reinforcement Learning with Temporal Logic Specifications. - Lim Zun Yuan; Mohammadhosein Hasanbeig; Alessandro Abate; Daniel Kroening (CoRR, 2019)

DeepSynth: Program Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning. - Mohammadhosein Hasanbeig; Natasha Yogananda Jeppu; Alessandro Abate; Tom Melham; Daniel Kroening (CoRR, 2019)

Cautious Reinforcement Learning with Logical Constraints. - Mohammadhosein Hasanbeig; Alessandro Abate; Daniel Kroening (AAMAS, 2020)

Deep Reinforcement Learning with Temporal Logics. - Mohammadhosein Hasanbeig; Daniel Kroening; Alessandro Abate (FORMATS, 2020)

Jump Operator Planning: Goal-Conditioned Policy Ensembles and Zero-Shot Transfer. - Thomas J. Ringstrom; Mohammadhosein Hasanbeig; Alessandro Abate (CoRR, 2020)

Safe and certified reinforcement learning with logical constraints. - Mohammadhosein Hasanbeig (2020)

DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning. - Mohammadhosein Hasanbeig; Natasha Yogananda Jeppu; Alessandro Abate; Tom Melham; Daniel Kroening (AAAI, 2021)

Shielding Atari Games with Bounded Prescience. - Mirco Giacobbe; Mohammadhosein Hasanbeig; Daniel Kroening; Hjalmar Wijk (AAMAS, 2021)

Modular Deep Reinforcement Learning for Continuous Motion Planning With Temporal Logic. - Mingyu Cai; Mohammadhosein Hasanbeig; Shaoping Xiao; Alessandro Abate; Zhen Kan (IEEE Robotics Autom. Lett., 2021)

LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning. - Mohammadhosein Hasanbeig; Daniel Kroening; Alessandro Abate (QEST, 2022)