Announcement_1

Created in July 14, 2024

2024

🚀 Our paper on Efficient Discovery of Actual Causality using Abstraction-Refinement has been accepted to EMSOFT 2024.