@misc{liu2024scalablesignaltemporal,
title={Scalable Signal Temporal Logic Guided Reinforcement Learning via Value Function Space Optimization},
author={Peiran Liu and Yiding Ji and Yiting He},
year={2024},
eprint={2408.01923},
archivePrefix={arXiv},
primaryClass={cs.RO},
url={https://arxiv.org/abs/2408.01923},
}