dynamic logic-based self-checking techniques

关键词dynamic logic-based self-checking techniques

搜索结果 - 1

保证智能逻辑代理在可信与道德行为方面的表现
在这篇论文中，我们提出 / 改进 / 扩展了基于动态（运行时）逻辑的自我检测技术，以确保自主智能代理的可靠和道德行为。
PDF5 months ago