Hasanbeig, Hosein

6 publications

L4DC 2025 Mission-Driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications Jun Wang, Hosein Hasanbeig, Kaiyuan Tan, Zihe Sun, Yiannis Kantaros

AAAI 2024 Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis Rohan Mitta, Hosein Hasanbeig, Jun Wang, Daniel Kroening, Yiannis Kantaros, Alessandro Abate

JAIR 2024 Symbolic Task Inference in Deep Reinforcement Learning Hosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening

NeurIPS 2023 Evaluating Cognitive Maps and Planning in Large Language Models with CogEval Ida Momennejad, Hosein Hasanbeig, Felipe Vieira Frujeri, Hiteshi Sharma, Nebojsa Jojic, Hamid Palangi, Robert Ness, Jonathan Larson

NeurIPSW 2022 Risk-Aware Bayesian Reinforcement Learning for Cautious Exploration Rohan Narayan Langford Mitta, Hosein Hasanbeig, Daniel Kroening, Alessandro Abate

NeurIPSW 2022 System III: Learning with Domain Knowledge for Safety Constraints Fazl Barez, Hosein Hasanbeig, Alessandro Abate