Follow
Daqian Shao
Daqian Shao
Verified email at cs.ox.ac.uk
Title
Cited by
Cited by
Year
Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees
D Shao, M Kwiatkowska
Proceedings of the Thirty-Second International Joint Conference on …, 2023
22023
STR-Cert: Robustness Certification for Deep Text Recognition on Deep Learning Pipelines and Vision Transformers
D Shao, L Fesser, M Kwiatkowska
arXiv preprint arXiv:2401.05338, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–2