User: Guest  Login
Document type:
Buchbeitrag 
Author(s):
Ibrahim, Amjad; Pretschner, Alexander 
Title:
From Checking to Inference: Actual Causality Computations as Optimization Problems 
Book title:
Automated Technology for Verification and Analysis 
Publisher:
Springer International Publishing 
Year:
2020 
Pages:
343-359 
Print-ISBN:
97830305915199783030591526