Wed 3 Sep 2025 16:30 - 17:00 at Salon de Grados - Verification and Quality Assurance Chair(s): Chiara Mannari

Cyber-Physical Systems (CPS) increasingly leverage Reinforcement Learning (RL) to adapt dynamically to chang- ing environments and optimize performance over time. While RL enhances efficiency and safety by enabling autonomous adjustments to unexpected conditions and hazard avoidance, it also introduces significant risks, as learned behaviors may lead to unpredictable or unsafe actions in real-world deploy- ment. Therefore, integrating risk management into RL system design is essential. In this paper, we propose the StructuraRL Design Framework, a question-driven approach that translates high-level safety guidelines into RL-specific considerations. This framework helps RL practitioners address key risks early in development, informing new or existing system requirements while ensuring traceability to risk management objectives. To evaluate its effectiveness, we conducted a study across two use cases, engaging six RL experts in developing system requirements with and without the framework. Our findings suggest that the framework promotes critical thinking and helps practitioners identify additional risk factors, ultimately supporting safer RL deployment.

Wed 3 Sep

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

16:00 - 17:40
Verification and Quality AssuranceResearch Papers / RE@Next! Papers / Journal-First at Salon de Grados
Chair(s): Chiara Mannari
16:00
30m
Paper
What does a Public Discourse state about Requirements Process Debt Causes?
Research Papers
Sávio Freire Federal Institute of Ceará, Manoel Mendonça Federal University of Bahia, Julio Cesar Leite Federal University of Bahia (UFBA)
16:30
30m
Talk
QUESTRL: A Q&A Framework for Specifying and Designing Trustworthy Reinforcement Learning Systems
Research Papers
Katherine R. Dearstyne University of Notre Dame, Pedro Antonio Alarcon Granadeno University of Notre Dame, Theodore Chambers University of Notre Dame, Jane Cleland-Huang University of Notre Dame
17:00
20m
Paper
Assessment of the Quality of the Text of Safety Standards with Industrial Semantic Technologies
Journal-First
Jose Luis de la Vara Universidad de Castilla - La Mancha, Hector Bahamonde , Clara Ayora Universidad de Castilla-La Mancha
17:20
20m
Paper
How Good is Good Enough? Non-Inferiority Trials for Requirements Trade-Offs in Self-Adaptive Systems
RE@Next! Papers
Huma Samin University of Exeter, Nelly Bencomo Durham University, Anikó Ekárt Aston University, Birmingham, UK