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).