Mohammadhosein Hasanbeig

Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022

2021

Modular Deep Reinforcement Learning for Continuous Motion Planning With Temporal Logic.

[BibT_eX]

[DOI]

Mingyu Cai

Shaoping Xiao

Zhen Kan

IEEE Robotics Autom. Lett., October, 2021

Shielding Atari Games with Bounded Prescience.

[BibT_eX]

[DOI]

Mirco Giacobbe

Hjalmar Wijk

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Natasha Yogananda Jeppu

Tom Melham

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Safe and certified reinforcement learning with logical constraints.

[BibT_eX]

[DOI]

PhD thesis, 2020

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

[BibT_eX]

[DOI]

Thomas J. Ringstrom

CoRR, 2020

Deep Reinforcement Learning with Temporal Logics.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

Cautious Reinforcement Learning with Logical Constraints.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019

DeepSynth: Program Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Natasha Yogananda Jeppu

Tom Melham

CoRR, 2019

Modular Deep Reinforcement Learning with Temporal Logic Specifications.

[BibT_eX]

[DOI]

Lim Zun Yuan

CoRR, 2019

Certified Reinforcement Learning with Logic Guidance.

[BibT_eX]

[DOI]

CoRR, 2019

Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Logically-Constrained Neural Fitted Q-iteration.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Towards Verifiable and Safe Model-Free Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, 2019

2018

From Game-theoretic Multi-agent Log Linear Learning to Reinforcement Learning.

[BibT_eX]

[DOI]

Lacra Pavel

CoRR, 2018

Logically-Correct Reinforcement Learning.

[BibT_eX]

[DOI]