M. E. Akintunde, E. Botoeva, P. Kouvaros, and A. Lomuscio. Formal verification of neural agents in non-deterministic environments. Auton. Agents Multi Agent Syst., 36(1):6, 2022. URL https://doi.org/10.1007/s10458-021-09529-3.
P. A. Alamdari, G. Avni, T. A. Henzinger, and A. Lukina. Formal methods with a touch of magic. In FMCAD, pages 138-147. IEEE, 2020. URL https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21.
M. Althoff, G. Frehse, and A. Girard. Set propagation techniques for reachability analysis. Annual Review of Control, Robotics, and Autonomous Systems, 4(1):369-395, 2021. URL https://doi.org/10.1146/annurev-control-071420-081941.
R. Alur, T. A. Henzinger, and P. Ho. Automatic symbolic verification of embedded systems. IEEE Trans. Software Eng., 22(3):181-201, 1996. URL https://doi.org/10.1109/32.489079.
P. Ashok, J. Kretínsky, K. G. Larsen, A. L. Coënt, J. H. Taankvist, and M. Weininger. SOS: safe, optimal and small strategies for hybrid Markov decision processes. In QEST, volume 11785 of LNCS, pages 147-164. Springer, 2019. URL https://doi.org/10.1007/978-3-030-30281-8_9.
P. Ashok, M. Jackermeier, P. Jagtap, J. Kretínský, M. Weininger, and M. Zamani. dtControl: decision tree learning algorithms for controller representation. In HSCC, pages 17:1-17:7. ACM, 2020. URL https://doi.org/10.1145/3365365.3382220.
E. Bacci, M. Giacobbe, and D. Parker. Verifying reinforcement learning up to infinity. In *IJCAI*, pages 2154–2160. ijcai.org, 2021. URL https://doi.org/10.24963/ijcai.2021/297.
A. G. Barto, R. S. Sutton, and C. W. Anderson. Neuronlike adaptive elements that can solve difficult learning control problems. IEEE Trans. Syst. Man Cybern., 13(5):834-846, 1983. URL https://doi.org/10.1109/TSMC.1983.6313077.
O. Bastani, Y. Pu, and A. Solar-Lezama. Verifiable reinforcement learning via policy extraction. In NeurIPS, pages 2499-2509, 2018. URL https://proceedings.neurips.cc/paper/2018/ hash/e6d8545daa42d5ced125a4bf747b3688-AAbstract.html.
L. Benet, M. Forets, D. P. Sanders, and C. Schilling. TaylorModels.jl: Taylor models in Julia and its application to validated solutions of ODEs. In SWIM, 2019. URL https://swim2019.ensta-paristech.fr/papers/benet.pdf.
M. Berz and K. Makino. Verified integration of odes and flows using differential algebraic methods on high-order Taylor models. Reliab. Comput., 4(4):361-369, 1998. URL https://doi.org/10.1023/A:1024467732637.
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, and C. Schilling. JuliaReach: a toolbox for set-based reachability. In HSCC, pages 39-44. ACM, 2019. URL https://doi.org/10.1145/3302504.3311804.
L. Breiman, J. H. Friedman, R. A. Olshen, and C. J. Stone. Classification and Regression Trees. Wadsworth, 1984. ISBN 0-534-98053-8.
G. Brockman, V. Cheung, L. Pettersson, J. Schneider, J. Schulman, J. Tang, and W. Zaremba. OpenAI Gym. CoRR, 2016. URL https://arxiv.org/abs/1606.01540.
A. H. Brorholt, P. G. Jensen, K. G. Larsen, F. Lorber, and C. Schilling. Shielded reinforcement learning for hybrid systems. In (A)ISoLA, 2023. URL https://doi.org/10.48550/arXiv.2308.14424.
A. David, P. G. Jensen, K. G. Larsen, M. Mikucionis, and J. H. Taankvist. Uppaal Stratego. In TACAS, volume 9035 of LNCS, pages 206-211. Springer, 2015. URL https://doi.org/10.1007/978-3-662-46681-0_16.
L. Doyen, G. Frehse, G. J. Pappas, and A. Platzer. Verification of hybrid systems. In Handbook of Model Checking, pages 1047-1110. Springer, 2018. URL https://doi.org/10.1007/978-3-319-10575-8_30.