标签： 形式化验证

2025年7月20日2025年7月20日专业术语

什么是可验证的机器人？

可验证的机器人(Verifiable Rob […]

2025年7月19日2025年7月20日专业术语

什么是可验证AI？

可验证AI是指一类人工智能系统，其核心特性在 […]