Bibliography

M. E. Akintunde, E. Botoeva, P. Kouvaros and A. Lomuscio. Formal Verification of Neural Agents in Non-deterministic Environments. In: Autonomous Agents and Multiagent Systems (AAMAS), edited by A. E. Seghrouchni, G. Sukthankar, B. An and N. Yorke-Smith (IFAAMAS, 2020); pp. 25–33. ↩¹

M. Althoff, M. Koschi and S. Manzinger. CommonRoad: Composable benchmarks for motion planning on roads. In: Intelligent Vehicles (IV) (IEEE, 2017); pp. 719–726. ↩¹

R. W. Beard. Quadrotor dynamics and control. Technical Report 1325 (Brigham Young University, 2008). ↩¹

M. Jankovic, D. Fontaine and P. V. Kokotovic. TORA example: cascade- and passivity-based control designs. Transactions on Control Systems Technology 4, 292–297 (1996). ↩¹

K. D. Julian and M. J. Kochenderfer. A Reachability Method for Verifying Dynamical Systems with Deep Neural Network Controllers. CoRR abs/1903.00520 (2019), arXiv:1903.00520. ↩¹

S. Prajna, P. A. Parrilo and A. Rantzer. Nonlinear control synthesis by convex optimization. Transactions on Automatic Control 49, 310–314 (2004). ↩¹

U. J. Ravaioli, J. Cunningham, J. McCarroll, V. Gangal, K. Dunlap and K. L. Hobbs. Safe reinforcement learning benchmark environments for aerospace control systems. In: Aerospace Conference (AERO) (IEEE, 2022); pp. 1–20. ↩¹

H.-D. Tran, F. Cai, D. M. Lopez, P. Musau, T. T. Johnson and X. D. Koutsoukos. Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control. Transactions on Embedded Computing Systems 18, 105:1–105:22 (2019). ↩¹