Point-Mass Navigation Tasks

该数据集包含了一个平面控制任务，其中涉及一个点质量智能体在穿越不同障碍布局的同时，既要到达目标区域，也要避开障碍物。此外，该数据集包含了不同障碍配置（版本1、版本2以及之字形）的支持，便于分析贝叶斯神经网络（BNN）的认证和政策合成方法。它涵盖了多个难度不同的障碍布局，其任务是指向性到达与规避规范下的导航。This dataset comprises a planar control task, in which a point-mass agent navigates to target regions while avoiding obstacles across diverse obstacle layouts. Additionally, the dataset supports multiple obstacle configurations (Version 1, Version 2, and zigzag layout) to facilitate the analysis of verification and policy synthesis methods for Bayesian Neural Networks (BNNs). It covers multiple obstacle layouts with varying difficulty levels, where the task is navigation adhering to the specifications of targeted reaching and obstacle avoidance.