An Evaluation of Monte-Carlo Tree Search for Property Falsification on Hybrid Flight Control Laws. Delmas, R., Loquen, T., Boada-Bauxell, J., & Carton, M. In International Workshop on Numerical Software Verification, pages 45–59, 2019.
doi  bibtex   
@inproceedings{delmas_evaluation_2019,
	title = {An {Evaluation} of {Monte}-{Carlo} {Tree} {Search} for {Property} {Falsification} on {Hybrid} {Flight} {Control} {Laws}.},
	doi = {10/gh25sx},
	booktitle = {International {Workshop} on {Numerical} {Software} {Verification}},
	author = {Delmas, Rémi and Loquen, Thomas and Boada-Bauxell, Josep and Carton, Mathieu},
	year = {2019},
	pages = {45--59},
}

Downloads: 0