Search Results for author: Fanxin Kong

Found 2 papers, 0 papers with code

Fulfilling Formal Specifications ASAP by Model-free Reinforcement Learning

no code implementations25 Apr 2023 Mengyu Liu, Pengyuan Lu, Xin Chen, Fanxin Kong, Oleg Sokolsky, Insup Lee

We propose a model-free reinforcement learning solution, namely the ASAP-Phi framework, to encourage an agent to fulfill a formal specification ASAP.

reinforcement-learning

Cannot find the paper you are looking for? You can Submit a new open access paper.