Login
- Title:
From Checking to Inference: Actual Causality Computations as Optimization Problems
- Document type:
- Buchbeitrag
- Author(s):
- Ibrahim, Amjad; Pretschner, Alexander
- Book title:
- Automated Technology for Verification and Analysis
- Publisher:
- Springer International Publishing
- Year:
- 2020
- Pages:
- 343-359
- Print-ISBN:
- 97830305915199783030591526
- DOI:
- doi:10.1007/978-3-030-59152-6_19
- WWW:
- https://arxiv.org/pdf/2006.03363.pdf
BibTeX