Abstract: A refinement relation captures the state equivalence between two sequential circuits. It finds applications in various tasks of VLSI design automation, including regression verification, ...
Abstract: 3D point cloud maps are widely used in robotic tasks like localization and planning. However, dynamic objects, such as cars and pedestrians, can introduce ghost artifacts during the map ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback