线性时序逻辑论文

论文摘要路径规划是智能体能够自主完成任务的基本保证,一直以来都是智能体导航技术和研究领域的热点和难点。由于传统的路径规划方法任务模式单一,无法满足含有时序性、循环性等复杂的任务...

论文摘要针对潜艇鱼雷发射控制系统,提出一套基于系统理论过程分析(systemtheoreticprocessanalysis,STPA)的安全性分析方法.借助XSTAMPP安全...