Mohammadhosein Hasanbeig

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning	2022	Mohammadhosein Hasanbeig Daniel Kroening Alessandro Abate
+ PDF Chat	Modular Deep Reinforcement Learning for Continuous Motion Planning With Temporal Logic	2021	Mingyu Cai Mohammadhosein Hasanbeig Shaoping Xiao Alessandro Abate Zhen Kan
+ PDF Chat	DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning	2021	Mohammadhosein Hasanbeig Natasha Yogananda Jeppu Alessandro Abate Tom Melham Daniel Kroening
+	Shielding Atari Games with Bounded Prescience	2021	Mirco Giacobbe Mohammadhosein Hasanbeig Daniel Kroening Hjalmar Wijk
+	Shielding Atari Games with Bounded Prescience.	2021	Mirco Giacobbe Mohammadhosein Hasanbeig Daniel Kroening Hjalmar Wijk
+	Shielding Atari Games with Bounded Prescience	2021	Mirco Giacobbe Mohammadhosein Hasanbeig Daniel Kroening Hjalmar Wijk
+	Cautious Reinforcement Learning with Logical Constraints	2020	Mohammadhosein Hasanbeig Alessandro Abate Daniel Kroening
+	Cautious Reinforcement Learning with Logical Constraints	2020	Mohammadhosein Hasanbeig Alessandro Abate Daniel Kroening
+	Jump Operator Planning: Goal-Conditioned Policy Ensembles and Zero-Shot Transfer	2020	Thomas J. Ringstrom Mohammadhosein Hasanbeig Alessandro Abate
+ PDF Chat	Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees	2019	Mohammadhosein Hasanbeig Yiannis Kantaros Alessandro Abate Daniel Kroening George J. Pappas I. Lee
+	DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning	2019	Mohammadhosein Hasanbeig Natasha Yogananda Jeppu Alessandro Abate Tom Melham Daniel Kroening
+	Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees	2019	Mohammadhosein Hasanbeig Yiannis Kantaros Alessandro Abate Daniel Kroening George J. Pappas Insup Lee
+	Modular Deep Reinforcement Learning with Temporal Logic Specifications	2019	Lim Zun Yuan Mohammadhosein Hasanbeig Alessandro Abate Daniel Kroening
+	Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees	2019	Mohammadhosein Hasanbeig Yiannis Kantaros Alessandro Abate Daniel Kroening George J. Pappas Insup Lee
+	DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning	2019	Mohammadhosein Hasanbeig Natasha Yogananda Jeppu Alessandro Abate Tom Melham Daniel Kroening
+	Certified Reinforcement Learning with Logic Guidance	2019	Mohammadhosein Hasanbeig Alessandro Abate Daniel Kroening
+	Logically-Constrained Neural Fitted Q-Iteration	2018	Mohammadhosein Hasanbeig Alessandro Abate Daniel Kroening
+	From Game-theoretic Multi-agent Log Linear Learning to Reinforcement Learning.	2018	Mohammadhosein Hasanbeig Lacra Pavel
+	Logically-Correct Reinforcement Learning.	2018	Mohammadhosein Hasanbeig Alessandro Abate Daniel Kroening
+	Logically-Constrained Reinforcement Learning	2018	Mohammadhosein Hasanbeig Alessandro Abate Daniel Kroening
+	Logically-Constrained Neural Fitted Q-Iteration	2018	Mohammadhosein Hasanbeig Alessandro Abate Daniel Kroening
+	From Game-theoretic Multi-agent Log Linear Learning to Reinforcement Learning	2018	Mohammadhosein Hasanbeig Lacra Pavel

Common Coauthors

Coauthor	Papers Together
Daniel Kroening	18
Alessandro Abate	17
Yiannis Kantaros	3
Tom Melham	3
Hjalmar Wijk	3
Mirco Giacobbe	3
George J. Pappas	3
Natasha Yogananda Jeppu	3
Insup Lee	2
Lacra Pavel	2
Mingyu Cai	1
Lim Zun Yuan	1
Shaoping Xiao	1
I. Lee	1
Zhen Kan	1
Thomas J. Ringstrom	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+	Logically-Constrained Reinforcement Learning	2018	Mohammadhosein Hasanbeig Alessandro Abate Daniel Kroening	7
+ PDF Chat	A learning based approach to control synthesis of Markov decision processes for linear temporal logic specifications	2014	Dorsa Sadigh Eric S. Kim Samuel Coogan S. Shankar Sastry Sanjit A. Seshia	7
+ PDF Chat	Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees	2019	Mohammadhosein Hasanbeig Yiannis Kantaros Alessandro Abate Daniel Kroening George J. Pappas I. Lee	7
+	Probably Approximately Correct MDP Learning and Control With Temporal Logic Constraints	2014	Jie Fu Ufuk Topcu	6
+ PDF Chat	Certified reinforcement learning with logic guidance	2023	Hosein Hasanbeig Daniel Kroening Alessandro Abate	6
+	Quantitative model-checking of controlled discrete-time Markov processes	2016	Ilya Tkachev Alexandru Mereacre Joost-Pieter Katoen Alessandro Abate	5
+	Verifiably Safe Off-Model Reinforcement Learning	2019	Nathan Fulton André Platzer	5
+	Asynchronous Methods for Deep Reinforcement Learning	2016	Volodymyr Mnih Adrià Puigdomènech Badia Mehdi Mirza Alex Graves Tim Harley Timothy Lillicrap David Silver Koray Kavukcuoglu	4
+	Cautious Reinforcement Learning with Logical Constraints	2020	Mohammadhosein Hasanbeig Alessandro Abate Daniel Kroening	4
+	Modular Deep Reinforcement Learning with Temporal Logic Specifications	2019	Lim Zun Yuan Mohammadhosein Hasanbeig Alessandro Abate Daniel Kroening	4
+ PDF Chat	Verification of Markov Decision Processes Using Learning Algorithms	2014	Tomǎš Brázdil Krishnendu Chatterjee Martin Chmelík Vojtěch Forejt Jan Křetínský Marta Kwiatkowska David Parker Mateusz Ujma	4
+ PDF Chat	Active Task-Inference-Guided Deep Inverse Reinforcement Learning	2020	Farzan Memarian Zhe Xu Bo Wu Min Wen Ufuk Topcu	3
+ PDF Chat	Pareto Curves for Probabilistic Model Checking	2012	Vojtěch Forejt Marta Kwiatkowska David Parker	3
+	Strategic Attentive Writer for Learning Macro-Actions	2016	Alexander - Vezhnevets Volodymyr Mnih John Agapiou Simon Osindero Alex Graves Oriol Vinyals Koray Kavukcuoglu	3
+ PDF Chat	Receding Horizon Control-Based Motion Planning With Partially Infeasible LTL Constraints	2020	Mingyu Cai Hao Peng Zhijun Li Hongbo Gao Zhen Kan	3
+ PDF Chat	Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications	2021	Giuseppe De Giacomo Luca Iocchi Marco Favorito Fabio Patrizi	3
+	Learning Non-Markovian Reward Models in MDPs	2020	Gavin Rens Jean-François Raskin	3
+ PDF Chat	Safe Reinforcement Learning via Shielding	2018	Mohammed Alshiekh Roderick Bloem Rüdiger Ehlers Bettina Könighofer Scott Niekum Ufuk Topcu	3
+ PDF Chat	Temporal logic motion control using actor–critic methods	2015	Jing Wang Xuchu Ding Morteza Lahijanian Ioannis Ch. Paschalidis Călin Belta	3
+ PDF Chat	A Learning Based Approach to Control Synthesis of Markov Decision Processes for Linear Temporal Logic Specifications	2014	Dorsa Sadigh Eric S. Kim Samuel Coogan S. Shankar Sastry Sanjt A. Seshia	3
+	Probably Approximately Correct MDP Learning and Control With Temporal Logic Constraints	2014	Jie Fu Ufuk Topcu	3
+	Logically-Constrained Neural Fitted Q-Iteration	2018	Mohammadhosein Hasanbeig Alessandro Abate Daniel Kroening	3
+	Logically-Correct Reinforcement Learning.	2018	Mohammadhosein Hasanbeig Alessandro Abate Daniel Kroening	3
+ PDF Chat	Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning	2020	Abolfazl Lavaei Fabio Somenzi Sadegh Soudjani Ashutosh Trivedi Majid Zamani	3
+ PDF Chat	Rectifying Pseudo Label Learning via Uncertainty Estimation for Domain Adaptive Semantic Segmentation	2021	Zhedong Zheng Yi Yang	2
+ PDF Chat	Learning Concise Models from Long Execution Traces	2020	Natasha Yogananda Jeppu Thomas F. Melham Daniel Kroening John O’Leary	2
+ PDF Chat	Exact finite-state machine identification from scenarios and temporal properties	2016	Vladimir Ulyantsev Igor Buzhinsky Anatoly Shalyto	2
+	Maximum Likelihood from Incomplete Data Via the <i>EM</i> Algorithm	1977	A. P. Dempster N. M. Laird Donald B. Rubin	2
+ PDF Chat	The Arcade Learning Environment: An Evaluation Platform for General Agents	2013	Marc G. Bellemare Yavar Naddaf Joel Veness Michael Bowling	2
+ PDF Chat	Safety-Constrained Reinforcement Learning for MDPs	2016	Sebastian Junges Nils Jansen Christian Dehnert Ufuk Topcu Joost-Pieter Katoen	2
+	Formal Policy Synthesis for Continuous-Space Systems via Reinforcement Learning	2020	Milad Kazemi Sadegh Soudjani	2
+ PDF Chat	Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning	2020	Alper Kamil Bozkurt Yu Wang Michael M. Zavlanos Miroslav Pajić	2
+ PDF Chat	First return, then explore	2021	Adrien Ecoffet Joost Huizinga Joel Lehman Kenneth O. Stanley Jeff Clune	2
+ PDF Chat	Induction of Subgoal Automata for Reinforcement Learning	2020	Daniel Furelos-Blanco Mark Law Alessandra Russo Krysia Broda Anders Jönsson	2
+ PDF Chat	Invariant Information Clustering for Unsupervised Image Classification and Segmentation	2019	Xu Ji Andrea Vedaldi João Henriques	2
+ PDF Chat	Reinforcement Learning with Non-Markovian Rewards	2020	Maor Gaon Ronen I. Brafman	2
+ PDF Chat	The Option-Critic Architecture	2017	Pierre‐Luc Bacon Jean Harb Doina Precup	2
+ PDF Chat	SegSort: Segmentation by Discriminative Sorting of Segments	2019	Jyh-Jing Hwang Stella X. Yu Jianbo Shi Maxwell D. Collins Tien-Ju Yang Xiao Zhang Liang-Chieh Chen	2
+	Safe Reinforcement Learning via Shielding	2017	Mohammed Alshiekh Roderick Bloem Rüdiger Ehlers Bettina Könighofer Scott Niekum Ufuk Topcu	2
+	Probabilistic Motion Planning Under Temporal Tasks and Soft Constraints	2018	Meng Guo Michael M. Zavlanos	2
+	Safe Exploration in Markov Decision Processes	2012	Teodor Mihai Moldovan Pieter Abbeel	2
+ PDF Chat	Optimal control of MDPs with temporal logic constraints	2013	Mária Svoreňová Ivana Černá Călin Belta	2
+ PDF Chat	From Nondeterministic Buchi and Streett Automata to Deterministic Parity Automata	2006	Nir Piterman	2
+	Unsupervised Object Segmentation with Explicit Localization Module	2019	Weitang Liu Lifeng Wei James Sharpnack John D. Owens	2
+	Shielded Decision-Making in MDPs.	2018	Nils Jansen Bettina Könighofer Sebastian Junges Roderick Bloem	2
+	Continuous control with deep reinforcement learning	2015	Timothy Lillicrap Jonathan J. Hunt Alexander Pritzel Nicolas Heess Tom Erez Yuval Tassa David Silver Daan Wierstra	2
+	FAUST$^2$: Formal Abstractions of Uncountable-STate STochastic processes	2014	Sadegh Soudjani Caspar Gevaerts Alessandro Abate	2
+	Omega-Regular Objectives in Model-Free Reinforcement Learning	2018	Ernst Moritz Hahn Mateo Perez Sven Schewe Fabio Somenzi Ashutosh Trivedi Dominik Wojtczak	2
+	Learning Finite State Representations of Recurrent Policy Networks	2018	Anurag Koul Sam Greydanus Alan Fern	2
+	Cautious Reinforcement Learning with Logical Constraints	2020	Mohammadhosein Hasanbeig Alessandro Abate Daniel Kroening	2