An effective approach to formalize and verify the rule base of mission manager for autonomous UAVs using Petri nets

Yanying Tan, Bo Sun, Xiaoping Zhu, Zhou Zhou

Research output: Contribution to journal › Article › peer-review

Fingerprint

Dive into the research topics of 'An effective approach to formalize and verify the rule base of mission manager for autonomous UAVs using Petri nets'. Together they form a unique fingerprint.

Engineering