acm sigbed
|
emsoft
|
participants
Arshia Rafieioskouei
EMSOFT 2024: 24th International Conference on Embedded Software
Efficient Discovery of Actual Causality using Abstraction-Refinement
Arshia Rafieioskouei
and
Borzoo Bonakdarpour
10.1109/TCAD.2024.3448299
https://arxiv.org/pdf/2407.16629