Modular Deep Reinforcement Learning for Continuous Motion Planning With Temporal Logic von Cai, Mingyu, Hasanbeig, Mohammadhosein, Xiao, Shaoping, Abate, Alessandro, Kan, Zhen

Volltext

Deep Reinforcement Learning with Temporal Logics von Hasanbeig, Mohammadhosein, Kroening, Daniel, Abate, Alessandro

Volltext

LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning von Hasanbeig, Mohammadhosein, Kroening, Daniel, Abate, Alessandro

Volltext

On Synchronous Binary Log-Linear Learning and Second Order Q-learning von Hasanbeig, Mohammadhosein, Pavel, Lacra

Volltext

On Synchronous Binary Log-Linear Learning and Second Order Q-learningThis work was supported by an NSERC grant von Hasanbeig, Mohammadhosein, Pavel, Lacra

Volltext

From Game-theoretic Multi-agent Log Linear Learning to Reinforcement Learning von Hasanbeig, Mohammadhosein, Pavel, Lacra

Volltext bestellen

Jump Operator Planning: Goal-Conditioned Policy Ensembles and Zero-Shot Transfer von Ringstrom, Thomas J, Hasanbeig, Mohammadhosein, Abate, Alessandro

Volltext bestellen

Modular Deep Reinforcement Learning for Continuous Motion Planning with Temporal Logic von Cai, Mingyu, Hasanbeig, Mohammadhosein, Xiao, Shaoping, Abate, Alessandro, Kan, Zhen

Volltext

Cautious Reinforcement Learning with Logical Constraints von Hasanbeig, Mohammadhosein, Abate, Alessandro, Kroening, Daniel

Volltext bestellen

Shielding Atari Games with Bounded Prescience von Giacobbe, Mirco, Hasanbeig, Mohammadhosein, Kroening, Daniel, Wijk, Hjalmar

Volltext bestellen

Logically-Constrained Neural Fitted Q-Iteration von Hasanbeig, Mohammadhosein, Abate, Alessandro, Kroening, Daniel

Volltext bestellen

Logically-Constrained Reinforcement Learning von Hasanbeig, Mohammadhosein, Abate, Alessandro, Kroening, Daniel

Volltext bestellen

From Game-theoretic Multi-agent Log Linear Learning to Reinforcement Learning von Hasanbeig, Mohammadhosein, Lacra Pavel

Volltext

Modular Deep Reinforcement Learning with Temporal Logic Specifications von Yuan, Lim Zun, Hasanbeig, Mohammadhosein, Abate, Alessandro, Kroening, Daniel

Volltext bestellen

Jump Operator Planning: Goal-Conditioned Policy Ensembles and Zero-Shot Transfer von Ringstrom, Thomas J, Hasanbeig, Mohammadhosein, Abate, Alessandro

Volltext

DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning von Hasanbeig, Mohammadhosein, Jeppu, Natasha Yogananda, Abate, Alessandro, Melham, Tom, Kroening, Daniel

Volltext bestellen

Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees von Hasanbeig, Mohammadhosein, Kantaros, Yiannis, Abate, Alessandro, Kroening, Daniel, Pappas, George J, Lee, Insup

Volltext bestellen

Cautious Reinforcement Learning with Logical Constraints von Hasanbeig, Mohammadhosein, Abate, Alessandro, Kroening, Daniel

Volltext

Shielding Atari Games with Bounded Prescience von Giacobbe, Mirco, Hasanbeig, Mohammadhosein, Kroening, Daniel, Wijk, Hjalmar

Volltext

Logically-Constrained Neural Fitted Q-Iteration von Hasanbeig, Mohammadhosein, Abate, Alessandro, Kroening, Daniel

Volltext