Mohammadhosein Hasanbeig

21 papers A* 1A 3Journal 12Unranked 4

Year	Rank	Type	Title / Venue / Authors
2022	—	`conf`	LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning. QEST Mohammadhosein Hasanbeig, Daniel Kroening, Alessandro Abate
2021	A*	`conf`	DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning. AAAI Mohammadhosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening
2021	J	`jnl`	Modular Deep Reinforcement Learning for Continuous Motion Planning With Temporal Logic. IEEE Robotics Autom. Lett. Mingyu Cai, Mohammadhosein Hasanbeig, Shaoping Xiao, Alessandro Abate, Zhen Kan
2021	J	`jnl`	Modular Deep Reinforcement Learning for Continuous Motion Planning with Temporal Logic. CoRR Mingyu Cai, Mohammadhosein Hasanbeig, Shaoping Xiao, Alessandro Abate, Zhen Kan
2021	A	`conf`	Shielding Atari Games with Bounded Prescience. AAMAS Mirco Giacobbe, Mohammadhosein Hasanbeig, Daniel Kroening, Hjalmar Wijk
2021	J	`jnl`	Shielding Atari Games with Bounded Prescience. CoRR Mirco Giacobbe, Mohammadhosein Hasanbeig, Daniel Kroening, Hjalmar Wijk
2020	A	`conf`	Cautious Reinforcement Learning with Logical Constraints. AAMAS Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening
2020	J	`jnl`	Cautious Reinforcement Learning with Logical Constraints. CoRR Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening
2020	—	`conf`	Deep Reinforcement Learning with Temporal Logics. FORMATS Mohammadhosein Hasanbeig, Daniel Kroening, Alessandro Abate
2020	J	`jnl`	Jump Operator Planning: Goal-Conditioned Policy Ensembles and Zero-Shot Transfer. CoRR Thomas J. Ringstrom, Mohammadhosein Hasanbeig, Alessandro Abate
2020	—	`—`	Safe and certified reinforcement learning with logical constraints. Mohammadhosein Hasanbeig
2019	J	`jnl`	Certified Reinforcement Learning with Logic Guidance. CoRR Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening
2019	J	`jnl`	DeepSynth: Program Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning. CoRR Mohammadhosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening
2019	A	`conf`	Logically-Constrained Neural Fitted Q-iteration. AAMAS Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening
2019	J	`jnl`	Modular Deep Reinforcement Learning with Temporal Logic Specifications. CoRR Lim Zun Yuan, Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening
2019	—	`conf`	Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees. CDC Mohammadhosein Hasanbeig, Yiannis Kantaros, Alessandro Abate, Daniel Kroening, George J. Pappas, Insup Lee
2019	J	`jnl`	Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees. CoRR Mohammadhosein Hasanbeig, Yiannis Kantaros, Alessandro Abate, Daniel Kroening, George J. Pappas, Insup Lee
2019	—	`conf`	Towards Verifiable and Safe Model-Free Reinforcement Learning. OVERLAY@AI*IA Mohammadhosein Hasanbeig, Daniel Kroening, Alessandro Abate
2018	J	`jnl`	From Game-theoretic Multi-agent Log Linear Learning to Reinforcement Learning. CoRR Mohammadhosein Hasanbeig, Lacra Pavel
2018	J	`jnl`	Logically-Constrained Neural Fitted Q-Iteration. CoRR Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening
2018	J	`jnl`	Logically-Correct Reinforcement Learning. CoRR Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening