@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},
}

{"_id":"qvQG2SJKrpisS2kq3","bibbaseid":"delmas-loquen-boadabauxell-carton-anevaluationofmontecarlotreesearchforpropertyfalsificationonhybridflightcontrollaws-2019","author_short":["Delmas, R.","Loquen, T.","Boada-Bauxell, J.","Carton, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","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":[{"propositions":[],"lastnames":["Delmas"],"firstnames":["Rémi"],"suffixes":[]},{"propositions":[],"lastnames":["Loquen"],"firstnames":["Thomas"],"suffixes":[]},{"propositions":[],"lastnames":["Boada-Bauxell"],"firstnames":["Josep"],"suffixes":[]},{"propositions":[],"lastnames":["Carton"],"firstnames":["Mathieu"],"suffixes":[]}],"year":"2019","pages":"45–59","bibtex":"@inproceedings{delmas_evaluation_2019,\n\ttitle = {An {Evaluation} of {Monte}-{Carlo} {Tree} {Search} for {Property} {Falsification} on {Hybrid} {Flight} {Control} {Laws}.},\n\tdoi = {10/gh25sx},\n\tbooktitle = {International {Workshop} on {Numerical} {Software} {Verification}},\n\tauthor = {Delmas, Rémi and Loquen, Thomas and Boada-Bauxell, Josep and Carton, Mathieu},\n\tyear = {2019},\n\tpages = {45--59},\n}\n\n","author_short":["Delmas, R.","Loquen, T.","Boada-Bauxell, J.","Carton, M."],"key":"delmas_evaluation_2019","id":"delmas_evaluation_2019","bibbaseid":"delmas-loquen-boadabauxell-carton-anevaluationofmontecarlotreesearchforpropertyfalsificationonhybridflightcontrollaws-2019","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["evaluation","monte","carlo","tree","search","property","falsification","hybrid","flight","control","laws","delmas","loquen","boada-bauxell","carton"],"title":"An Evaluation of Monte-Carlo Tree Search for Property Falsification on Hybrid Flight Control Laws.","year":2019}