本研究首次提出了一种神经证书框架，针对连续时间随机动态系统，填补了现有概率验证方法的空白。该方法结合机器学习和符号推理，为非线性系统提供可达性、回避性和持续性规格的形式化概率界限，并在基准测试中展示了其有效性。
完成下面两步后，将自动完成登录并继续当前操作。
