[55] Dawei Sun, Susmit Jha, and Chuchu Fan. Learning certified control using contraction metric. In Jens Kober, Fabio Ramos, and Claire J. Tomlin, editors, 4th Conference on Robot Learning, CoRL 2020, 16-18 November 2020, Virtual Event / Cambridge, MA, USA, volume 155 of Proceedings of Machine Learning Research, pages 1519-1539. PMLR, 2020. URL https://proceedings.mlr.press/v155/sun21b.html.
[56] Richard S Sutton and Andrew G Barto. Reinforcement learning: An introduction. MIT press, 2018.
[57] Christian Szegedy, Wojciech Zaremba, Ilya Sutskever, Joan Bruna, Dumitru Erhan, Ian J. Goodfellow, and Rob Fergus. Intriguing properties of neural networks. In Yoshua Bengio and Yann LeCun, editors, 2nd International Conference on Learning Representations, ICLR 2014, Banff, AB, Canada, April 14-16, 2014, Conference Track Proceedings, 2014. URL http://arxiv.org/abs/1312.6199.
[58] Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, and Ichiro Hasuo. Ranking and repulsing supermartingales for reachability in randomized programs. ACM Trans. Program. Lang. Syst., 43(2):5:1-5:46, 2021. doi: 10.1145/3450967. URL https://doi.org/10.1145/3450967.
[59] Matteo Turchetta, Felix Berkenkamp, and A. Krause. Safe exploration for interactive machine learning. In NeurIPS, 2019.
[60] Pashootan Vaezipoor, Andrew C. Li, Rodrigo Toro Icarte, and Sheila A. McIlraith. Ltl2action: Generalizing LTL instructions for multi-task RL. In Marina Meila and Tong Zhang, editors, Proceedings of the 38th International Conference on Machine Learning, ICML 2021, 18-24 July 2021, Virtual Event, volume 139 of Proceedings of Machine Learning Research, pages 10497-10508. PMLR, 2021. URL http://proceedings.mlr.press/v139/vaezipoor21a.html.
[61] Abraham P. Vinod, Joseph D. Gleason, and Meeko M. K. Oishi. Sreachtools: a MATLAB stochastic reachability toolbox. In Necmiye Ozay and Pavithra Prabhakar, editors, Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019, pages 33-38. ACM, 2019. doi: 10.1145/3302504.3311809. URL https://doi.org/10.1145/3302504.3311809.
[62] Jun Wang, Samarth Kalluraya, and Yiannis Kantaros. Verified compositions of neural network controllers for temporal logic control objectives. In 61st IEEE Conference on Decision and Control, CDC 2022, Cancun, Mexico, December 6-9, 2022, pages 4004-4009. IEEE, 2022. doi: 10.1109/CDC51059.2022.9993010. URL https://doi.org/10.1109/CDC51059.2022.9993010.
[63] Yixuan Wang, Simon Sinong Zhan, Ruochen Jiao, Zhilu Wang, Wanxin Jin, Zhuoran Yang, Zhaoran Wang, Chao Huang, and Qi Zhu. Enforcing hard constraints with soft barriers: Safe reinforcement learning in unknown stochastic environments. In Andreas Krause, Emma Brunskill, Kyunghyun Cho, Barbara Engelhardt, Sivan Sabato, and Jonathan Scarlett, editors, International Conference on Machine Learning, ICML 2023, 23-29 July 2023, Honolulu, Hawaii, USA, volume 202 of Proceedings of Machine Learning Research, pages 36593-36604. PMLR, 2023. URL https://proceedings.mlr.press/v202/wang23as.html.
[64] David Williams. Probability with Martingales. Cambridge mathematical textbooks. Cambridge University Press, 1991. ISBN 978-0-521-40605-5.
[65] Bai Xue, Renjue Li, Najun Zhan, and Martin Fränzle. Reach-avoid analysis for stochastic discrete-time systems. In 2021 American Control Conference, ACC 2021, New Orleans, LA, USA, May 25-28, 2021, pages 4879-4885. IEEE, 2021. doi: 10.23919/ACC50511.2021.9483095. URL https://doi.org/10.23919/ACC50511.2021.9483095.
[66] Cambridge Yang, Michael L. Littman, and Michael Carbin. On the (in)tractability of reinforcement learning for LTL objectives. In Luc De Raedt, editor, Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022, pages 3650-3658. ijcai.org, 2022. doi: 10.24963/ijcai.2022/507. URL https://doi.org/10.24963/ijcai.2022/507.