The formal verification and validation of real-world, industrial critical hybrid flight controllers remains a very challenging task. An increasingly popular and quite successful alternative to formal verification is the use of optimization and reinforcement learning techniques to maximize some real-valued reward function encoding the robustness margin to the falsification of a property. In this paper we present an evaluation of a simple Monte-Carlo Tree Search property falsification algorithm, applied to select properties of a longitudinal hybrid flight control law: a threshold overshoot property, two frequential properties, and a discrete event-based property.
CITATION STYLE
Delmas, R., Loquen, T., Boada-Bauxell, J., & Carton, M. (2019). An Evaluation of Monte-Carlo Tree Search for Property Falsification on Hybrid Flight Control Laws. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11652 LNCS, pp. 45–59). Springer Verlag. https://doi.org/10.1007/978-3-030-28423-7_3
Mendeley helps you to discover research relevant for your work.