Login / Signup
How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verification.
Yu Lu
Zhaoguang Peng
Alice Miller
Tingdi Zhao
Chris W. Johnson
Published in:
Reliab. Eng. Syst. Saf. (2015)
Keyphrases
</>
structural properties
desirable properties
model checking
data sets
bayesian networks
probabilistic reasoning
high quality
probabilistic model
remote sensing
context sensitive
verification method
robot navigation
temporal logic
conditional probabilities
data driven
mobile robot
image processing
neural network