11 citations · 11 across the 1 of their papers we have counts for
2 papers
cs.SE2022★ 11 cited
From Specification Models to Explanation Models: An Extraction and Refinement Process for Timed Automata
Maike Schwammberger, Verena Klös
Autonomous systems control many tasks in our daily lives. To increase trust in those systems and safety of the interaction between humans and autonomous systems, the system behavio…
cs.AI2019
Towards Self-Explainable Cyber-Physical Systems
Mathias Blumreiter, Joel Greenyer, Francisco Javier Chiyah Garcia +5
With the increasing complexity of CPSs, their behavior and decisions become increasingly difficult to understand and comprehend for users and other stakeholders. Our vision is to b…