Verification of the Formal Approach to Data Fusion.

Ildar R. Baimuratov Stefan Morozov Nataly Zhukova

Published in: AIST (Supplement) (2018)

Keyphrases

data fusion
formal methods
multi sensor
information fusion
fusion algorithm
multi sensor data fusion
multi source
fusion process
multiple sensors
model checking
fusion methods
image fusion
fusion method
source selection
mobile robot
field of view
image processing
monitoring system
multi view
situation assessment