English
Related papers

Related papers: Automated Behaviour-Driven Acceptance Testing of R…

200 papers

How to construct an interpretable autonomous driving decision-making system has become a focal point in academic research. In this study, we propose a novel approach that leverages large language models (LLMs) to generate executable,…

Artificial Intelligence · Computer Science 2025-06-18 Fanzhi Zeng , Siqi Wang , Chuzhao Zhu , Li Li

When faced with an execution failure, an intelligent robot should be able to identify the likely reasons for the failure and adapt its execution policy accordingly. This paper addresses the question of how to utilise knowledge about the…

Robotics · Computer Science 2021-05-21 Alex Mitrevski , Paul G. Plöger , Gerhard Lakemeyer

In social robotics, endowing humanoid robots with the ability to generate bodily expressions of affect can improve human-robot interaction and collaboration, since humans attribute, and perhaps subconsciously anticipate, such traces to…

Robotics · Computer Science 2022-05-03 Mina Marmpena , Fernando Garcia , Angelica Lim , Nikolas Hemion , Thomas Wennekers

My research centers on the development of context-adaptive AI systems to improve end-user adoption through the integration of technical methods. I deploy these AI systems across various interaction modalities, including user interfaces and…

Human-Computer Interaction · Computer Science 2024-01-25 Christine P Lee

With an increasing use of data-driven models to control robotic systems, it has become important to develop a methodology for validating such models before they can be deployed to design a controller for the actual system. Specifically, it…

Systems and Control · Computer Science 2018-03-28 Somil Bansal , Shromona Ghosh , Alberto Sangiovanni-Vincentelli , Sanjit A. Seshia , Claire J. Tomlin

The software of robotic assistants needs to be verified, to ensure its safety and functional correctness. Testing in simulation allows a high degree of realism in the verification. However, generating tests that cover both interesting…

Robotics · Computer Science 2016-03-03 Dejanira Araiza-Illan , Tony Pipe , Kerstin Eder

Maintaining an acceptable level of quality of service in modern complex systems is challenging, particularly in the presence of various forms of uncertainty caused by changing execution context, unpredicted events, etc. Although…

Software Engineering · Computer Science 2020-12-04 Fatma Kachi , Chafia Bouanaka , Souheir Merkouche

Automatic code generation has recently attracted large attention and is becoming more significant to the software development process. Solutions based on Machine Learning and Artificial Intelligence are being used to increase human and…

Software Engineering · Computer Science 2023-05-22 Leon Chemnitz , David Reichenbach , Hani Aldebes , Mariam Naveed , Krishna Narasimhan , Mira Mezini

In modern society, service robots are increasingly recognized for their wide range of practical applications. In large and crowded social spaces, such as museums and hospitals, these robots are required to safely move in the environment…

Currently, practitioners follow a top-down approach in automotive development projects. However, recent studies have shown that this top-down approach is not suitable for the implementation and testing of modern automotive systems.…

Software Engineering · Computer Science 2021-07-13 Carsten Wiecher , Jannik Fischbach , Joel Greenyer , Andreas Vogelsang , Carsten Wolff , Roman Dumitrescu

Behavior planning and decision-making are some of the biggest challenges for highly automated systems. A fully automated vehicle (AV) is confronted with numerous tactical and strategical choices. Most state-of-the-art AV platforms implement…

Robotics · Computer Science 2021-02-08 Piotr Franciszek Orzechowski , Christoph Burger , Martin Lauer

Programming robots is a complicated and time-consuming task. A robot is essentially a real-time, distributed embedded system. Often, control and communication paths within the system are tightly coupled to the actual physical configuration…

Robotics · Computer Science 2014-01-08 Thomas Buchmann , Johannes Baumgartl , Dominik Henrich , Bernhard Westfechtel

Computer 3D games are complex software environments that require novel testing processes to ensure high-quality standards. The Intelligent Verification/Validation for Extended Reality Based Systems (iv4XR) framework addresses this need by…

Software Engineering · Computer Science 2025-06-23 Fernando Pastor Ricós , Beatriz Marín , I. S. W. B. Prasetya , Tanja E. J. Vos , Joseph Davidson , Karel Hovorka

The development of the works of the author about adaptive algorithms of teaching the robotic systems with the help of operator is described here. An operator is assumed to be an experience decision-maker and sane carrier of a target which…

Robotics · Computer Science 2015-09-08 Valery Vilisov

Simulation modeling of robots, objects, and environments is the backbone for all model-based control and learning. It is leveraged broadly across dynamic programming and model-predictive control, as well as data generation for imitation,…

Robotics · Computer Science 2022-01-19 Fei Liu , Mingen Li , Jingpei Lu , Entong Su , Michael C. Yip

In the last few years, Model Driven Development (MDD), Component-based Software Development (CBSD), and context-oriented software have become interesting alternatives for the design and construction of self-adaptive software systems. In…

Software Engineering · Computer Science 2021-08-23 Basel Magableh

Developing and fielding complex systems requires proof that they are reliably correct with respect to their design and operating requirements. Especially for autonomous systems which exhibit unanticipated emergent behavior, fully…

Software Engineering · Computer Science 2024-02-28 Matthew Litton , Doron Drusinsky , James Bret Michael

Despite the remarkable code generation abilities of large language models LLMs, they still face challenges in complex task handling. Robot development, a highly intricate field, inherently demands human involvement in task allocation and…

Robotics · Computer Science 2024-02-19 Zhirong Luan , Yujun Lai , Rundong Huang , Xiaruiqi Lan , Liangjun Chen , Badong Chen

Autonomous robots may be able to adapt their behavior in response to changes in the environment. This is useful, for example, to efficiently handle limited resources or to respond appropriately to unexpected events such as faults. The…

Robotics · Computer Science 2021-03-25 Martin Molina , Pablo Santamaria

Recent manufacturing systems are increasingly adopting multi-robot collaboration to handle complex and dynamic environments. While multi-agent architectures support decentralized coordination among robot agents, they often face challenges…

Robotics · Computer Science 2025-05-30 Jonghan Lim , Ilya Kovalenko