中文
相关论文

相关论文: Formal Methods with a Touch of Magic

200 篇论文

Building upon prior research that highlighted the need for standardizing environments for building control research, and inspired by recently introduced challenges for real life reinforcement learning control, here we propose a…

机器学习 · 计算机科学 2022-09-13 Kingsley Nweye , Bo Liu , Peter Stone , Zoltan Nagy

Groundbreaking successes have been achieved by Deep Reinforcement Learning (DRL) in solving practical decision-making problems. Robotics, in particular, can involve high-cost hardware and human interactions. Hence, scrupulous evaluations of…

人工智能 · 计算机科学 2020-10-20 Davide Corsi , Enrico Marchesini , Alessandro Farinelli

Self-trained autonomous agents developed using machine learning are showing great promise in a variety of control settings, perhaps most remarkably in applications involving autonomous vehicles. The main challenge associated with…

机器学习 · 计算机科学 2022-11-11 Patrik Hammersborg , Inga Strümke

Artificial intelligence, particularly through recent advancements in deep learning, has achieved exceptional performances in many tasks in fields such as natural language processing and computer vision. In addition to desirable evaluation…

机器学习 · 计算机科学 2024-03-04 Sean Xie , Soroush Vosoughi , Saeed Hassanpour

Reinforcement Learning (RL) has achieved tremendous development in recent years, but still faces significant obstacles in addressing complex real-life problems due to the issues of poor system generalization, low sample efficiency as well…

人工智能 · 计算机科学 2025-02-25 Chao Yu , Shicheng Ye , Hankz Hankui Zhuo

The black-box nature of deep neural networks (DNN) has brought to attention the issues of transparency and fairness. Deep Reinforcement Learning (Deep RL or DRL), which uses DNN to learn its policy, value functions etc, is thus also subject…

机器学习 · 计算机科学 2023-01-24 Erico Tjoa , Guan Cuntai

Deep reinforcement learning (RL) has gained widespread adoption in recent years but faces significant challenges, particularly in unknown and complex environments. Among these, high-dimensional action selection stands out as a critical…

机器学习 · 统计学 2025-07-08 Wenbo Zhang , Hengrui Cai

Deep reinforcement learning yields great results for a large array of problems, but models are generally retrained anew for each new problem to be solved. Prior learning and knowledge are difficult to incorporate when training new models,…

人工智能 · 计算机科学 2017-09-21 Aditya Gudimella , Ross Story , Matineh Shaker , Ruofan Kong , Matthew Brown , Victor Shnayder , Marcos Campos

Deep learning has provided new ways of manipulating, processing and analyzing data. It sometimes may achieve results comparable to, or surpassing human expert performance, and has become a source of inspiration in the era of artificial…

机器人学 · 计算机科学 2021-02-09 Rongrong Liu , Florent Nageotte , Philippe Zanne , Michel de Mathelin , Birgitta Dresp-Langley

Uncertainty in decision-making is crucial in the machine learning model used for a safety-critical system that operates in the real world. Therefore, it is important to handle uncertainty in a graceful manner for the safe operation of the…

机器学习 · 计算机科学 2023-03-16 Akash Fogla , Kanish Kumar , Sunnay Saurav , Bishnu ramanujan

The past few years have seen rapid progress in combining reinforcement learning (RL) with deep learning. Various breakthroughs ranging from games to robotics have spurred the interest in designing sophisticated RL algorithms and systems.…

机器学习 · 计算机科学 2022-11-09 Zhihui Xie , Zichuan Lin , Junyou Li , Shuai Li , Deheng Ye

The quality and correct functioning of software components embedded in electronic systems are of utmost concern especially for safety and mission-critical systems. Model-based testing and formal verification techniques can be employed to…

形式语言与自动机理论 · 计算机科学 2019-01-08 Shahbaz Ali , Hailong Sun , Yongwang Zhao

Recent work applying deep reinforcement learning (DRL) to solve traveling salesman problems (TSP) has shown that DRL-based solvers can be fast and competitive with TSP heuristics for small instances, but do not generalize well to larger…

机器学习 · 计算机科学 2021-10-07 Wenbin Ouyang , Yisen Wang , Shaochen Han , Zhejian Jin , Paul Weng

Meta reinforcement learning (RL) attempts to discover new RL algorithms automatically from environment interaction. In so-called black-box approaches, the policy and the learning algorithm are jointly represented by a single neural network.…

机器学习 · 计算机科学 2022-06-07 Louis Kirsch , Sebastian Flennerhag , Hado van Hasselt , Abram Friesen , Junhyuk Oh , Yutian Chen

Relying on either deep models or physical models are two mainstream approaches for solving inverse sample reconstruction problems in programmable illumination computational microscopy. Solutions based on physical models possess strong…

图像与视频处理 · 电气工程与系统科学 2024-03-21 Ruiqing Sun , Delong Yang , Shaohui Zhang , Qun Hao

Branch-and-bound is a systematic enumerative method for combinatorial optimization, where the performance highly relies on the variable selection strategy. State-of-the-art handcrafted heuristic strategies suffer from relatively slow…

机器学习 · 计算机科学 2022-06-15 Tianyu Zhang , Amin Banitalebi-Dehkordi , Yong Zhang

Recently, AI systems have made remarkable progress in various tasks. Deep Reinforcement Learning(DRL) is an effective tool for agents to learn policies in low-level state spaces to solve highly complex tasks. Researchers have introduced…

人工智能 · 计算机科学 2025-08-25 Gabriele Sartor , Angelo Oddi , Riccardo Rasconi , Vieri Giuliano Santucci , Rosa Meo

Recently, interpretable machine learning has re-explored concept bottleneck models (CBM). An advantage of this model class is the user's ability to intervene on predicted concept values, affecting the downstream output. In this work, we…

机器学习 · 计算机科学 2024-10-29 Sonia Laguna , Ričards Marcinkevičs , Moritz Vandenhirtz , Julia E. Vogt

Deep Reinforcement Learning (DRL) techniques have been successfully applied for solving complex decision-making and control tasks in multiple fields including robotics, autonomous driving, healthcare and natural language processing. The…

分布式、并行与集群计算 · 计算机科学 2024-08-07 Amanda Jayanetti , Saman Halgamuge , Rajkumar Buyya

Traditional controllers have limitations as they rely on prior knowledge about the physics of the problem, require modeling of dynamics, and struggle to adapt to abnormal situations. Deep reinforcement learning has the potential to address…

机器学习 · 计算机科学 2023-10-24 Ammar N. Abbas , Georgios C. Chasparis , John D. Kelleher