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.
Parametric Statistical Model Checking of UAV Flight Plan [link]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