Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Advancements in deep reinforcement learning and inverse reinforcement learning for robotic manipulation: Towards trustworthy, interpretable, and explainable …
This article presents a literature review of the past five years of studies using Deep
Reinforcement Learning (DRL) and Inverse Reinforcement Learning (IRL) in robotic …
Reinforcement Learning (DRL) and Inverse Reinforcement Learning (IRL) in robotic …
Categorizing methods for integrating machine learning with executable specifications
Deep learning (DL), which includes deep reinforcement learning (DRL), holds great promise
for carrying out real-world tasks that human minds seem to cope with quite readily. That …
for carrying out real-world tasks that human minds seem to cope with quite readily. That …
Verifying generalization in deep learning
Deep neural networks (DNNs) are the workhorses of deep learning, which constitutes the
state of the art in numerous application domains. However, DNN-based decision rules are …
state of the art in numerous application domains. However, DNN-based decision rules are …
Verification-Guided Shielding for Deep Reinforcement Learning
In recent years, Deep Reinforcement Learning (DRL) has emerged as an effective approach
to solving real-world tasks. However, despite their successes, DRL-based policies suffer …
to solving real-world tasks. However, despite their successes, DRL-based policies suffer …
Analyzing adversarial inputs in deep reinforcement learning
In recent years, Deep Reinforcement Learning (DRL) has become a popular paradigm in
machine learning due to its successful applications to real-world and complex systems …
machine learning due to its successful applications to real-world and complex systems …
[PDF][PDF] Formally verifying deep reinforcement learning controllers with lyapunov barrier certificates
Deep reinforcement learning (DRL) is a powerful machine learning paradigm for generating
agents that control autonomous systems. However, the “black box” nature of DRL agents …
agents that control autonomous systems. However, the “black box” nature of DRL agents …
Shield Synthesis for LTL Modulo Theories
In recent years, Machine Learning (ML) models have achieved remarkable success in
various domains. However, these models also tend to demonstrate unsafe behaviors …
various domains. However, these models also tend to demonstrate unsafe behaviors …
Local vs. Global Interpretability: A Computational Complexity Perspective
The local and global interpretability of various ML models has been studied extensively in
recent years. However, despite significant progress in the field, many known results remain …
recent years. However, despite significant progress in the field, many known results remain …
veriFIRE: verifying an industrial, learning-based wildfire detection system
In this short paper, we present our ongoing work on the veriFIRE project—a collaboration
between industry and academia, aimed at using verification for increasing the reliability of a …
between industry and academia, aimed at using verification for increasing the reliability of a …
[PDF][PDF] Verification-aided deep ensemble selection
Deep neural networks (DNNs) have become the technology of choice for realizing a variety
of complex tasks. However, as highlighted by many recent studies, even an imperceptible …
of complex tasks. However, as highlighted by many recent studies, even an imperceptible …