Login
- Titel:
From Checking to Inference: Actual Causality Computations as Optimization Problems
- Dokumenttyp:
- Buchbeitrag
- Autor(en):
- Ibrahim, Amjad; Pretschner, Alexander
- Buchtitel:
- Automated Technology for Verification and Analysis
- Verlag / Institution:
- Springer International Publishing
- Jahr:
- 2020
- Seiten/Umfang:
- 343-359
- Print-ISBN:
- 97830305915199783030591526
- DOI:
- doi:10.1007/978-3-030-59152-6_19
- WWW:
- https://arxiv.org/pdf/2006.03363.pdf
BibTeX