Peng Lv

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 1

Top Topics

Formal Language

Temporal Difference

Reinforcement Learning

Top Venues

Publications

Peng Lv, Guangqing Luo, Zhou He, Xianwei Li, Xiang Yin
Formal Control Synthesis via Safe Reinforcement Learning Under Real-Time Specifications. ICCA (2024)