On the basis of the information men

根据上述信息，自动驾驶汽车根据满足时空特性的警戒条件做出决策。为了指定这些属性，我们提出了BMML（有界多维模态逻辑），其中考虑了不久的将来对属性的估计发展。在BMML中，我们在空间网格模型中考虑了汽车的空间特性后，在单个网格中定义了原始空间逻辑。我们可以用BMML中的规范描述各种流量情况，例如阻塞，交叉和预留。为了扩展从考虑中的汽车的原始视图转换而来的视图，我们将导航运算符作为一种模态运算符进行介绍，以探讨空间属性是在相邻视图中还是在相邻视图中是否包含几个相邻网格中。并且所有导航操作符都可以组合使用，以实现沿各个方向扩展的视图，以查看是否满足空间特性。考虑时间

根据上述信息，奥-诺穆斯汽车根据具有时空特性的防护条件的满意度作出决定。为了指定这些属性，我们建议使用 BMML（边界多维模式逻辑），考虑近期属性的估计演变。在BMML中，我们在空间网格模型中定义具有汽车空间属性的单网格中的基元空间逻辑。我们可以描述不同的交通情况，如块，交叉和预订与规格在BMML。为了扩展从考虑的汽车的原始视图转换的视图，我们引入导航运算符作为一种模态运算符来探索空间属性是否保留在相邻网格中，甚至是边界视图中的几个相邻网格中。所有导航运算符都可用作组合，以实现向不同方向扩展的视图，以查看空间属性是否满意。考虑到时间

On the basis of the information mentioned above, au-tonomous cars make decisions according to the satisfaction of the guard conditions which are specified with spatio-temporal properties. To specify these properties, we propose a BMML (Bounded Multi-dimensional Modal Logic) taking the estimated evolvement on the properties in the near future into account. In BMML, we define primitive spatial logic in a single grid with spatial properties for a car under consid-eration in our space grid model. We can describe diverse traffic situations such as block, cross and reservation with specification in BMML. To extend the view transformed from the original view of the car under consideration, we introduce navigation operators as a type of modal operator to explore whether spatial properties hold in a neighboring grid or even several neighboring grids within the bounded view. And all the navigation operators can be used as a combination to achieve a view extended in various directions to see whether a spatial property is satisfied or not. In consideration of time<br>