Alert button
Picture for Mohammadhosein Hasanbeig

Mohammadhosein Hasanbeig

Alert button

Modular Deep Reinforcement Learning for Continuous Motion Planning with Temporal Logic

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

Figure 1 for Modular Deep Reinforcement Learning for Continuous Motion Planning with Temporal Logic
Figure 2 for Modular Deep Reinforcement Learning for Continuous Motion Planning with Temporal Logic
Figure 3 for Modular Deep Reinforcement Learning for Continuous Motion Planning with Temporal Logic
Figure 4 for Modular Deep Reinforcement Learning for Continuous Motion Planning with Temporal Logic
Viaarxiv icon

Shielding Atari Games with Bounded Prescience

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

Figure 1 for Shielding Atari Games with Bounded Prescience
Figure 2 for Shielding Atari Games with Bounded Prescience
Figure 3 for Shielding Atari Games with Bounded Prescience
Figure 4 for Shielding Atari Games with Bounded Prescience
Viaarxiv icon

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

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

Figure 1 for Jump Operator Planning: Goal-Conditioned Policy Ensembles and Zero-Shot Transfer
Figure 2 for Jump Operator Planning: Goal-Conditioned Policy Ensembles and Zero-Shot Transfer
Figure 3 for Jump Operator Planning: Goal-Conditioned Policy Ensembles and Zero-Shot Transfer
Figure 4 for Jump Operator Planning: Goal-Conditioned Policy Ensembles and Zero-Shot Transfer
Viaarxiv icon

Cautious Reinforcement Learning with Logical Constraints

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

Figure 1 for Cautious Reinforcement Learning with Logical Constraints
Figure 2 for Cautious Reinforcement Learning with Logical Constraints
Figure 3 for Cautious Reinforcement Learning with Logical Constraints
Figure 4 for Cautious Reinforcement Learning with Logical Constraints
Viaarxiv icon

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

Figure 1 for DeepSynth: Program Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning
Figure 2 for DeepSynth: Program Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning
Figure 3 for DeepSynth: Program Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning
Figure 4 for DeepSynth: Program Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning
Viaarxiv icon

Modular Deep Reinforcement Learning with Temporal Logic Specifications

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

Figure 1 for Modular Deep Reinforcement Learning with Temporal Logic Specifications
Figure 2 for Modular Deep Reinforcement Learning with Temporal Logic Specifications
Figure 3 for Modular Deep Reinforcement Learning with Temporal Logic Specifications
Figure 4 for Modular Deep Reinforcement Learning with Temporal Logic Specifications
Viaarxiv icon

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

Figure 1 for Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees
Figure 2 for Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees
Figure 3 for Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees
Figure 4 for Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees
Viaarxiv icon

Certified Reinforcement Learning with Logic Guidance

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

Figure 1 for Certified Reinforcement Learning with Logic Guidance
Figure 2 for Certified Reinforcement Learning with Logic Guidance
Figure 3 for Certified Reinforcement Learning with Logic Guidance
Figure 4 for Certified Reinforcement Learning with Logic Guidance
Viaarxiv icon