Nowadays, considering the constant changes in customers' demands, manufacturing
systems tend to move more and more towards customization while ensuring the expected …

In line with the unpredictable variety of demands and acceleration into the electric vehicle
era, automakers have efforted on smart factories utilizing new manufacturing platforms with …

As software systems increasingly interact with humans in application domains such as
transportation and healthcare, they raise concerns related to the social, legal, ethical …

Industry 4.0 brings smartness to manufacturing systems through Cyber-Physical Systems
(CPS), Digital Twins (DT), and the Internet of Things. Going a step further, Industry 5.0 seeks …

Normative non-functional requirements specify con-straints that a system must observe in
order to avoid violations of social, legal, ethical, empathetic, and cultural norms. As these …

In engineering, cost minimization, especially in Computer Numerical Control (CNC)
machining like pocket milling, is crucial. Existing tool path definition software often lacks …

Satisfiability-based automated reasoning is an approach that is being successfully used in
software engineering to validate complex software, including for safety-critical systems. Such …

This' research preview'paper introduces an adaptive path planning framework for robotic
mission execution in assistive-care applications. The framework provides a graph-based …

We describe a work-in-progress approach to solving the problem of robot navigation in
dynamically changing, social environments. Our approach employs reinforcement learning …

The transition to Industry 5.0 highlights the necessity for practical cooperation between
humans and machines in challenging situations, driven by advanced technology, increased …