无人机自主飞行任务管理器规则集的Petri网建模与验证
무인궤자주비행임무관리기규칙집적Petri망건모여험증
An Effective Approach to Formalize and Verify the Rule Base of Mission Manager for Autonomous UAVs Using Petri Nets
저자의 최근 논문