Application Scenario Modeling and Verification for Unmanned Aerial Vehicle Swarm

Manqing Zhang, Renliang Wu, Kang Su,Yunwei Dong, Tao Zhang

2024 IEEE 24th International Conference on Software Quality, Reliability and Security (QRS)（2024）

Cited 0|Views0

No score

Key words

Unmanned aerial vehicle swarm,Application scenarios,Meta-level theory,Formal verification

AI Read Science

Must-Reading Tree

Example

Generate MRT to find the research sequence of this paper

Chat Paper

Summary is being generated by the instructions you defined