Abstract: An autonomous mobile device (AMD) uses sensors to explore a physical space and determine a map indicating the locations of obstacles. As data is later acquired, the map may be updated, resulting in changes to previously mapped obstacle positions. Navigability tests determine if a path can be found between a current location and a previously visited location. A failure to find a path may result in exploration of an area that includes the previously visited location. Submaps may be produced by the AMD as it moves through the physical space. An accuracy score of a selected submap is determined by comparing the selected submap with a partial global map created using submaps other than the selected submap. If the accuracy score is less than a threshold value, the selected submap may be discarded and an area in the physical space associated with the selected submap may be re-explored.

Abstract: A method for checking a situation in a decentralized transaction system. The method includes the following features: the situation is recognized by a first device in the transaction system, the situation is recorded by the first device with the aid of the transaction system, additional devices in the transaction system are prompted by the first device to detect particular data, the data are detected by the additional devices, The detected data are recorded by the additional devices with the aid of the transaction system and the situation is confirmed or disconfirmed in the transaction system based on the recorded data.

Abstract: A method for checking a situation in a decentralized transaction system. The method includes the following features: the situation is recognized by a first device in the transaction system, the situation is recorded by the first device with the aid of the transaction system, additional devices in the transaction system are prompted by the first device to detect particular data, the data are detected by the additional devices, The detected data are recorded by the additional devices with the aid of the transaction system and the situation is confirmed or disconfirmed in the transaction system based on the recorded data.