3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.LG2023★ 3 cited
Fulfilling Formal Specifications ASAP by Model-free Reinforcement Learning
Mengyu Liu, Pengyuan Lu, Xin Chen +3
We propose a model-free reinforcement learning solution, namely the ASAP-Phi framework, to encourage an agent to fulfill a formal specification ASAP. The framework leverages a piec…
eess.SY2016
Smart Charging for Electric Vehicles: A Survey From the Algorithmic Perspective
Qinglong Wang, Xue Liu, Jian Du +1
Smart interactions among the smart grid, aggregators and EVs can bring various benefits to all parties involved, e.g., improved reliability and safety for the smart gird, increased…