Abstract: We propose an abstraction-refinement-based algorithm for the problem of verifying the safety of a camera-based autonomous system in a synthetic 3D-scene, based on the notion of interval ...
Abstract: In order to obtain SAR images with a wider field of view and higher resolution, it is often necessary to stitch image sequences taken from different perspectives within the same scene.This ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback