Title
Parametric Statistical Model Checking of UAV Flight Plan.
Year
DOI
Field
2019
10.1007/978-3-030-21759-4_4
Flight plan,Computer science,PARAM,Markov chain,Statistical model checking,Control engineering,Parametric statistics,Global Positioning System,Statistical model,Trajectory,Distributed computing
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
5
Name
Order
Citations
PageRank
Ran Bao100.34
J. Christian Attiogbé200.34
Benoît Delahaye326615.59
Paulin Fournier400.34
didier lime578746.02