共 45 条
[2]
SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes
[J].
QUANTITATIVE EVALUATION OF SYSTEMS (QEST 2019),
2019, 11785
:147-164
[3]
Beard JJ, 2022, Arxiv, DOI arXiv:2203.03451
[6]
Bojarski M, 2016, Arxiv, DOI [arXiv:1604.07316, DOI 10.48550/ARXIV.1604.07316]