Parametric Statistical Model Checking of UAV Flight Plan. Bao, R., Attiogbe, C., Delahaye, B., Fournier, P., & Lime, D. In 2019. HAL CCSD, Springer International Publishing.
Paper doi bibtex @inproceedings{bao_parametric_2019,
title = {Parametric {Statistical} {Model} {Checking} of {UAV} {Flight} {Plan}},
url = {https://hal.inria.fr/hal-02313737},
doi = {10/gh25wg},
language = {English},
publisher = {HAL CCSD, Springer International Publishing},
author = {Bao, Ran and Attiogbe, Christian and Delahaye, Benoit and Fournier, Paulin and Lime, Didier},
year = {2019},
keywords = {[INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]},
}
Downloads: 0
{"_id":"QfchYrbfe2YioSRt5","bibbaseid":"bao-attiogbe-delahaye-fournier-lime-parametricstatisticalmodelcheckingofuavflightplan-2019","author_short":["Bao, R.","Attiogbe, C.","Delahaye, B.","Fournier, P.","Lime, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Parametric Statistical Model Checking of UAV Flight Plan","url":"https://hal.inria.fr/hal-02313737","doi":"10/gh25wg","language":"English","publisher":"HAL CCSD, Springer International Publishing","author":[{"propositions":[],"lastnames":["Bao"],"firstnames":["Ran"],"suffixes":[]},{"propositions":[],"lastnames":["Attiogbe"],"firstnames":["Christian"],"suffixes":[]},{"propositions":[],"lastnames":["Delahaye"],"firstnames":["Benoit"],"suffixes":[]},{"propositions":[],"lastnames":["Fournier"],"firstnames":["Paulin"],"suffixes":[]},{"propositions":[],"lastnames":["Lime"],"firstnames":["Didier"],"suffixes":[]}],"year":"2019","keywords":"[INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]","bibtex":"@inproceedings{bao_parametric_2019,\n\ttitle = {Parametric {Statistical} {Model} {Checking} of {UAV} {Flight} {Plan}},\n\turl = {https://hal.inria.fr/hal-02313737},\n\tdoi = {10/gh25wg},\n\tlanguage = {English},\n\tpublisher = {HAL CCSD, Springer International Publishing},\n\tauthor = {Bao, Ran and Attiogbe, Christian and Delahaye, Benoit and Fournier, Paulin and Lime, Didier},\n\tyear = {2019},\n\tkeywords = {[INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]},\n}\n\n","author_short":["Bao, R.","Attiogbe, C.","Delahaye, B.","Fournier, P.","Lime, D."],"key":"bao_parametric_2019","id":"bao_parametric_2019","bibbaseid":"bao-attiogbe-delahaye-fournier-lime-parametricstatisticalmodelcheckingofuavflightplan-2019","role":"author","urls":{"Paper":"https://hal.inria.fr/hal-02313737"},"keyword":["[INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["[info.info-ni]computer science [cs]/networking and internet architecture [cs.ni]"],"search_terms":["parametric","statistical","model","checking","uav","flight","plan","bao","attiogbe","delahaye","fournier","lime"],"title":"Parametric Statistical Model Checking of UAV Flight Plan","year":2019}