Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Collision avoidance of multi unmanned aerial vehicles: A review
The control of a multiple unmanned aerial vehicle (UAV) system is popular and attracting a
lot of attentions. This is motivated by many practical civil and commercial UAV applications …
lot of attentions. This is motivated by many practical civil and commercial UAV applications …
[HTML][HTML] Review of conflict resolution methods for manned and unmanned aviation
Current investigations into urban aerial mobility, as well as the continuing growth of global
air transportation, have renewed interest in Conflict Detection and Resolution (CD&R) …
air transportation, have renewed interest in Conflict Detection and Resolution (CD&R) …
Reluplex: An efficient SMT solver for verifying deep neural networks
Deep neural networks have emerged as a widely used and effective means for tackling
complex, real-world problems. However, a major obstacle in applying them to safety-critical …
complex, real-world problems. However, a major obstacle in applying them to safety-critical …
Efficient formal safety analysis of neural networks
Neural networks are increasingly deployed in real-world safety-critical domains such as
autonomous driving, aircraft collision avoidance, and malware detection. However, these …
autonomous driving, aircraft collision avoidance, and malware detection. However, these …
Formal security analysis of neural networks using symbolic intervals
Due to the increasing deployment of Deep Neural Networks (DNNs) in real-world security-
critical domains including autonomous vehicles and collision avoidance systems, formally …
critical domains including autonomous vehicles and collision avoidance systems, formally …
A survey of algorithms for black-box safety validation of cyber-physical systems
Autonomous cyber-physical systems (CPS) can improve safety and efficiency for safety-
critical applications, but require rigorous testing before deployment. The complexity of these …
critical applications, but require rigorous testing before deployment. The complexity of these …
A survey on reinforcement learning in aviation applications
Reinforcement learning (RL) has emerged as a powerful tool for addressing complex
decision making problems in various domains, including aviation. This paper provides a …
decision making problems in various domains, including aviation. This paper provides a …
Considerations for evaluation and generalization in interpretable machine learning
As machine learning systems become ubiquitous, there has been a surge of interest in
interpretable machine learning: systems that provide explanation for their outputs. These …
interpretable machine learning: systems that provide explanation for their outputs. These …
Policy compression for aircraft collision avoidance systems
One approach to designing the decision making logic for an aircraft collision avoidance
system is to frame the problem as Markov decision process and optimize the system using …
system is to frame the problem as Markov decision process and optimize the system using …
Deep neural network compression for aircraft collision avoidance systems
One approach to designing decision-making logic for an aircraft collision avoidance system
frames the problem as a Markov decision process and optimizes the system using dynamic …
frames the problem as a Markov decision process and optimizes the system using dynamic …