@InProceedings{SK23,
author={Daqian Shao and Marta Kwiatkowska},
title={Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees},
booktitle={Proc. 32nd International Joint Conference on Artificial Intelligence (IJCAI'23)},
year={2023},

editors={},
pages={},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}